close
1.

図書

図書
Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c2002  x, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2441
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
To the Gates of HAL: A HAL Tutorial / María Garía de la Banda ; Bart Demoen ; Kim Marriott ; Peter J. Stuckey
Tutorial Paper
Functional Logic Design Patterns / Sergio Antoy ; Michael Hanus
Constraints
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints / Klaus Meer
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms / Miguel García-Díaz ; Susana Nieva
Program Transformation and Analysis
On the Correctness of the Factoring Transformation / Pascual Julián Iranzo
Lambda-Lifting in Quadratic Time / Olivier Danvy ; Ulrik P. Schultz
Semantics
The Well-Founded Semantics in Normal Logic Programs with Uncertainty / Yann Loyer ; Umberto Straccia
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus / Masahito Hasegawa
Coinductive Interpreters for Process Calculi / Luís Soares Barbosa ; José Nuno Oliveira
Rewriting
Descendants and Head Normalization of Higher-Order Rewrite Systems / Hideto Kasuya ; Masahiko Sakai ; Kiyoshi Agusa
Narrowing Failure in Functional Logic Programming / Francisco Javier López-Fraguas ; Jaime Sánchez-Hernández
Compilation Techniques
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation / Mikael Pettersson ; Konstantinos Sagonas ; Erik Johansson
Dynamic-Cut with Definitional Trees / Rafael Caballero
Programming Methodology
The Head Condition and Polymorphic Recursion / Jan-Georg Smaus
Structural Abstraction and Application in Logic Programming / António Porto
VM?: A Functional Calculus for Scientific Discovery / Eijiro Sumii ; Hideo Bannai
Author Index
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
2.

図書

図書
Alberto Pettorossi (ed.)
出版情報: Berlin : Springer, c2002  viii, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2372
所蔵情報: loading…
3.

図書

図書
Michael S. Lew, Nicu Sebe, John P. Eakins (eds.)
出版情報: Berlin : Springer, c2002  xii, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2383
所蔵情報: loading…
目次情報: 続きを見る
Challenges of Image and Video Retrieval / Michael S. Lew ; Nicu Sebe ; John P. Eakins
Image Retrieval I (Oral)
Visualization, Estimation and User-Modeling for Interactive Browsing of Image Libraries / Qi Tian ; Baback Moghaddam ; Thomas S. Huang
Robust Shape Matching / Michael Lew
Semantics-Based Image Retrieval by Region Saliency / Wei Wang ; Yuqing Song ; Aidong Zhang
The Truth about Corel - Evaluation in Image Retrieval / Henning Müller ; Stephane Marchand-Maillet ; Thierry Pun
Non-retrieval: Blocking Pornographic Images / Alison Bosson ; Gavin C. Cawley ; Yi Chan ; Richard Harvey
Modelling I (Poster)
A Linear Image-Pair Model and the Associated Hypothesis Test for Matching / Gregory Cox ; Gerhard de Jager
On the Coupled Forward and Backward Anisotropic Diffusion Scheme for Color Image Enhancement / Bogdan Smolka ; Konstantinos ; N. Plataniotis
Multiple Regions and Their Spatial Relationship-Based Image Retrieval / ByoungChul Ko ; Hyeran Byun
Feature Based Retrieval (Poster)
Query by Fax for Content-Based Image Retrieval / Mohammad F. A. Fauzi ; Paul H. Lewis
Spectrally Layered Color Indexing / Guoping Qiu ; Kin-Man Lam
Using an Image Retrieval System for Vision-Based Mobile Robot Localization / Jürgen Wolf ; Wolfram Burgard ; Hans Burkhardt
JPEG Image Retrieval Based on Features from DCT Domain / Guocan Feng ; Jianmin Jiang
Image Retrieval Methods for a Database of Funeral Monuments / A. Jonathan Howell ; David S. Young
Semantics/Learning I (Poster)
AtomsNet: Multimedia Peer2Peer File Sharing / Willem de Bruijn
Visual Clustering of Trademarks Using the Self-Organizing Map / Mustaq Hussain ; John Eakins ; Graham Sexton
FACERET: An Interactive Face Retrieval System Based on Self-Organizing Maps / Javier Ruiz-del-Solar ; Pablo Navarrete
Object-Based Image Retrieval Using Hierarchical Shape Descriptor / Man- Wai Leung ; Kwok-Leung Chan
Video Retrieval (Oral)
Multimodal Person Identification in Movies / Jeroen Vendrig ; Marcel Worring
Automated Scene Matching in Movies / F. Schaffalitzky ; A. Zisserman
Content Based Analysis for Video from Snooker Broadcasts / H. Denman ; N. Rea ; A. Kokaram
Retrieval of Archival Moving Imagery - CBIR Outside the Frame? / Peter G. B. Enser ; Criss J. Sandom
Challenges for Content-Based Navigation of Digital Video in the Físchlár Digital Library / Alan F. Smeaton
Image Retrieval II (Oral)
Spin Images and Neural Networks for Efficient Content-Based Retrieval in 3D Object Databases / Pedro A. de Alarcón ; Alberto D. Pascual-Montano ; José M. Carazo
Size Functions for Image Retrieval: A Demonstrator on Randomly Generated Curves / A. Brucale ; M. d'Amico ; M. Ferri ; L. Gualandri ; A. Lovato
An Efficient Coding of Three Dimensional Colour Distributions for Image Retrieval / Jeff Berens ; Graham D. Finlayson
Content-Based Retrieval of Historical Watermark Images: I-tracings / K. Jonathan Riley
Semantics/Learning II (Poster)
Object Recognition for Video Retrieval / Rene Visser ; Nicu Sehe ; Erwin Bakker
Semantic Video Retrieval Using Audio Analysis / Erwin M. Bakker
Extracting Semantic Information from Basketball Video Based on Audio-Visual Features / Kyungsu Kim ; Junho Choi ; Namjung Kim ; Pankoo Kim
Video Indexing and Retrieval for Archeological Digital Library, CLIOH / Jeffrey Huang ; Deepa Umamaheswaran ; Mathew Palakal
Fast k-NN Image Search with Self-Organizing Maps / Kun Seok Oh ; Aghbari Zaher ; Pan Koo Kim
Video Retrieval by Feature Learning in Key Frames / Marcus J. Pickering ; Stefan M. Rüger ; David Sinclair
Modelling II (Poster)
Local Affine Frames for Image Retrieval / Štěpán Obdržálek ; Jiří Matas
A Ranking Algorithm Using Dynamic Clustering for Content-Based Image Retrieval / Gunhan Park ; Yunju Baek ; Heung-Kyu Lee
Online Bayesian Video Summarization and Linking / Xavier Orriols ; Xavier Binefa
Face Detection for Video Summaries / Jean Emmanuel Viallet ; Olivier Bernier
Evaluation/Benchmarking (Poster)
A Method for Evaluating the Performance of Content-Based Image Retrieval Systems Based on Subjectively Determined Similarity between Images / John A. Black ; Jr ; Gamal Fahmy ; Sethuraman Panchanathan
Evaluation of Salient Point Techniques / N. Sebe ; Q. Tian ; E. Loupias ; M. Lew ; T. Huang
Personal Construct Theory as a Research Tool for Analysing User Perceptions of Photographs / Mary A. Burke
Author Index
Challenges of Image and Video Retrieval / Michael S. Lew ; Nicu Sebe ; John P. Eakins
Image Retrieval I (Oral)
Visualization, Estimation and User-Modeling for Interactive Browsing of Image Libraries / Qi Tian ; Baback Moghaddam ; Thomas S. Huang
4.

図書

図書
Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler (eds.)
出版情報: Berlin : Springer, c2002  xxii, 794 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2398
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Structured Access to Documents, Digital Talking Books, and Beyond: The DAISY Consortium / George Kerscher
eEurope - eAccessibility - User Participation Participation of People with Disabilities and Older People in the Information Society (Introduction to the Special Thematic Session) / Christian Bühler
From Research to Business Improving the Take Up of Results of Research Projects Introduction to the Workshop
Universal Access to Information Society Technologies: Opportunities for People with Disabilities
Accessibility and Usability of eCommerce Systems / Constantine Stephanidis ; Pier Luigi Emiliani ; Keith Gladstone ; Cathy Rundle ; Tara Alexander
Recommending Context-Sensitive and Process-Oriented Tourist Information to the Disabled - The PALIO Case / Michael Pieper
WebSite Accessibility Auditing Tool for Visually Deficient Persons OCAWA / Denis Chêne ; Michel Hoël
User-Centered Interface Design for Disabled and Elderly People: First Experiences with Designing a Patient Communication System (PACOSY) / Andreas Holzinger
The Disappearing Computer: Emerging Opportunities and Challenges for Disabled and Elderly People
New Technologies and Services for Disabled and Elderly People in the Emerging Information Society
A Strategy to Achieve the Accessibility of Public Web Sites / Sylvie Duchateau ; Denis Boulay ; Claudine Tchang-Ayo ; Dominique Burger
Accessibility and Affordance for Voice Interactive Systems with the VoiceXML Technology / Régis Privat ; Nadine Vigouroux ; Philippe Truillet ; Bernard Oriola
Computer and Inclusive Education
National Information and Communication Technology Policies - Their Impact upon the Use of ICT in Special Needs Education (SNE) / Ewald Feyerer ; Amanda Watkins ; Harald Weber
EUN Virtual School Special Needs Education / Walter Rainwald
Tutorial Systems to Teach Standard Applications to the Learning Disabled
The Vickie Project / Dominique Archambault
Using Adaptive Hypermedia to Evaluate Basic Arithmetic Skills in Special Education / Jaakko Kurhila ; Hanna Varjola
ICT and Assistive Technology in Teachers Education and Training / Klaus Miesenberger ; David Wohlhart
Bridging the Information Gap between IST and SEN - A Practical Approach on European Level / Jørgen Greve
Evaluational Study: Training with Animated Pedagogical Agents / Yehya Mohamad ; S. Hammer ; F. Haverkamp ; M. Nöker ; H. Tebarth
Usage of Modern Technologies - A Chance for People with Special Needs?! - Pedagogically Relevant Criteria for the Review of Educational Software Exemplified by "Step by Step 3" / Barbara Prazak ; Mathilde Niehaus
Social Innovation in the Information Society - Take It Easy - / Cordula Edler
ODL: Inclusive - Improving Inclusive Teaching through Online Training
Accessible E-learning: Infrastructure and Content / Norman Coombs
Addizionario: Words in Your Pocket / Giovanna Turrini ; Laura Cignoni ; Alessandro Paccosi
Virtual Reality
Virtual Travel Training for People with Learning Disabilities Accessing Employment Including the Introduction to the Special Thematic Session "Virtual Reality" / N. Shopland ; J. Lewis ; D.J. Brown ; H.M. Powell
Assessing Virtual Reality as a Tool for Support Imagination / F. Alcantud ; G. Herrera ; G. Labajo ; I. Dolz ; C. Gayá ; V. Avila ; A. Blanquer ; J.L. Cuesta ; J. Arnáiz
Literacy and Numeracy Edutainment Packages for Disaffected Young Learners / M. Yazdanparast
Control of Virtual Environments for People with Intellectual Disabilities / P.J. Standen ; S. Battersby ; T.L. Lannen
Online Gardening to Promote Social Inclusion / S.J. Battersby ; N. Kelly
Hearing Impaired People - Computers and Communication
Selective Phoneme Spotting for Realization of an /s, z, C, t/ Transposer / D. Bauer ; A. Plinge ; M. Finke
A Multimedia Based Software for Non-Japanese to Learn Japanese Sign Language / Flavio Oliveira ; Iwao Kobayashi ; Mitsumasa Sugawara
The User Interface Design for the Sign Language Translator in a Remote Sign Language Interpretation System / Hiroki Minagawa ; Ichiro Naito ; Nobuko Kato ; Hiroshi Murakami ; Yasushi Ishihara
The See-through Head Mount Display as the Information Offering Device for the Hearing Impaired Students / Tomoyuki Nishioka
Digital Speech Signal Processing to Compensate Severe Sensory Hearing Deficits: The /s, z, C, t/ Transposer Module in Simulation - An Overview and Examples
Computers for the Development of Young Disabled Children
Multimedia Games for Visually Impaired Children / Aurélie Buaud ; Harry Svensson
Technical Assistance for Motor- and Multiple Disabled Children - Some Long Term Experiences / Paul Panek ; Christian Beck ; Stefan Mina ; Gottfried Seisenbacher ; Wolfgang L. Zagler
The Design of an Adaptive Web Browser for Young Children with Reading Difficulties / Chi Nung Chu ; Tien Yu Li ; Ming Chung Chen
Can All Young Disabled Children Play at the Computer? / Anita Hildén ; Jenny Hammarlund
TL a Language to Create Games for Visually Impaired Children / Antoine Dutot ; Damien Olivier
Mobility Impaired People - Individual Autonomy and HCI
Power Assist System HAL-3 for Gait Disorder Person / Hiroaki Kawamoto ; Yoshiyuki Sankai
Computer Access Assessment for Persons with Physical Disabilities: A Guide to Assistive Technology Interventions / Ting-Fang Wu ; Ling-Fu Meng ; Hwa-Pey Wang ; Wu-Tien Wu ; Tien-Yu Li
A Proposal of Effective Motion Learning Method Using Sensory Feedback for Walk-Disabled People / Junji Ohyama
Control Method of Walking Speed and Step Length for Hybrid Assistive Leg / Masako Nozawa
The Development of Gait Training System for Computer-Aided Rehabilitation / Hidetaka Ikeuchi ; Satoshi Arakane ; Kengo Ohnishi ; Keiji Imado ; Yukio Saito ; Hiroomi Miyagawa
Accessing Internet Courses by Eye Movement and Head Movement / James Gips ; Philip A. DiMattia ; Marialice Curran ; Debra Lees ; Maureen Gates
The Program for Improving the Working Interfaces and Increasing the Work Competencies of People with Severe Physical Disabilities: The Evaluation, Design, and Training of the Adaptive Computer Devices / Tien-yu Li ; Chien-Huey Sophie Chang ; Ming-Chung Chen ; Chi-Nung Chu ; Arr-Ming Chou ; Tony Yang ; Chin-Chen Hui ; Ai-Chiao Ku ; Yun-Lung Lin
Typing - Alternative and Augmentative Communication
Matching Typing Persons and Intelligent Interfaces
FASTY - A Multi-lingual Approach to Text Prediction / Johannes Matiasek ; Marco Baroni ; Harald Trost
Informing Flexible Abbreviation Expansion for Users with Motor Disabilities / Tim Willis ; Helen Pain ; Shari Trewin ; Stephen Clark
Cyclic Input of Characters through a Single Button Manipulation / Grigori Evreinov ; Roope Raisamo
Developing of Predictive Communication System for the Physically Disabled People / Vidas Lauruska ; Tomas Musteikis
Teaching Adolescents with Disabilities to Learn Chinese Keyboarding by Using Multimedia Computer Assisted Input Method Learning System
Accelerating Assessment with Self-Optimizing Devices / Patti Slobogin ; M.G. Power
A Proposal of an Evaluation Framework for Writing Assistance Systems: Application to VITIPI / Philippe Boissière ; Daniel Dours
Individually Assisted Text Entry with Situational and Contextual Prediction / Dirk Clemens ; Helmut Heck ; Michael Kühn ; Olaf Perlick ; Frank Reins
Accessible Digital Media
Methods for Inclusion: Employing Think Aloud Protocol with Individuals Who Are Deaf / Deborah I. Fels ; Vera Roberts
Emotive Captioning in a Digital World / Charles Silverman
Spoken Subtitles: Making Subtitled TV Programmes Accessible / Maarten Verboom ; David Crombie ; Evelien Dijk ; Mildred Theunisz
Electronic and Virtual Libraries: Access for Print Disabled People
Semantically Rich Markup, Should You Be Agnostic in Your Choice of a Vocabulary / Jan Engelen
DZB - A German Library for the Blind Goes Digital / Thomas Kahlisch
Harmonisation of the Copyright Law throughout the European Union - A Challenge for All Print Disabled People / Ruth Hammerschmid ; Bernhard Stöger
A Distributed Document Oriented Architecture for Rendering Services to Visually Impaired Students / Claude Moulin ; Sylvain Giroux ; Davide Carboni
ABA's Virtual Library Services for Blind and Visually Impaired People / Karim Taha ; Lori Stefano Pertucci
Libbraille: A Portable Library to Easily Access Braille Displays / Sébastien Sablé
CYNTHIA: An HTML Browser for Visually Handicapped People / Mathieu Raynal ; Mathieu Serrurier
A Secure Internet Service for Delivering Documents for the Blind / Benoit Guillon ; Bruno Marmol
Virtual Libraries Initiatives with Usable Results for Print Disabled People / Marco Köttstorfer
Unlocking Doors: Building an Accessible Online Information Node / Arne Leeman ; Marian Oosting
Using XML as a Reading Enabler for Visually Impaired Persons / Bert Paepen
The Accessibility of Online Library Resources for People with Print Disabilities: Research and Strategies for Change / Axel Schmetzke
Quick Access to Dictionaries for Blind and Visually Impaired People / Brasseur Vincent ; Mohamed Slimane ; Nicole Vincent
Perspectives and Possibilities for the Automated Processing of Scientific Texts for Blind and Visually Impaired People / Gerhard Jaworek
Universal Usability Issues of Textual Information Structures, Commands, and Languages of Native Visually Challenged Users: An Inclusive Design Framework / Basawaraj Patil ; Klaus Maetzel ; Erich J. Neuhold
Accessible Interface Design: Adaptive Multimedia Information System (AMIS) / Marisa DeMeglio ; Markku T. Hakkinen ; Hiroshi Kawamura
Reading Multimedia Documents / Helen Petrie ; Gerhard Weber
Blind and Visually Impaired People - Mobility and HCI
Comparison of Various Interface Modalities for a Locomotion Assistance Device / Yacine Bellik ; René Farcy
Providing Help for Visually Impaired People's Navigation in an Urban Environment Using GPS / Vivien Guillet ; Beatrice Rumpler ; Jean-Marie Pinon
New Trends and Developments in Computer and Internet Technology for Visually Impaired People: A Survey and Usefulness in the Arab Sub-region / AbdulMalik S. Al-Salman
Auditory Emotional Access to Visual Information / Harald Schwende
Auditory Sensation Aided Image Perception: Integration of Somesthetic Sense of Fingertip Position / Yoshihiko Nomura ; Sayuri Nishihama ; Tokuhiro Sugiura ; Hirokazu Matsui ; Norihiko Kato
A Novel Application to Aid Low Vision Computer Users / Luciano Silva ; Olga Regina Pereira Bellon
Visually Impaired Persons Using Microsoft PowerPoint Presentations / Martin Jung ; Erdmuthe Meyer zu Bexten
Using MS Office Features as Low Vision Accessibility Tools / Deborah Gilden
Access to Mathematics by Blind Students
Architecting an Auditory Browser for Navigating Mathematical Expressions / Arthur I. Karshmer ; Chris Bledsoe ; Gopal Gupta ; Doug Gillan
REMathEx - Reader and Editor of the Mathematical Expressions for Blind Students / Pavel Gaura
Speaking Technical Documents: Using Prosody to Convey Textual and Mathematical Material / D. Fitzpatrick
Access by Blind Students and Professionals to Mainstream Math and Science / John A. Gardner
LATEX at the University of Applied Sciences Giessen-Friedberg - Experiences at the Institute for Visually Impaired Students
Experience with Access to Mathematics for Blind Students in Slovakia / Martina Kobolkova ; Peter Lecky
Infty Alpha Test Site / Kanahori Toshihiro ; Suzuki Masakazu
Designing an AutoMouse to Promote Computer Accessibility for People with Severe Physical Impairments / Ling Fu Meng ; Arr Mien Chou ; Chih Chen Hui ; Ai Chiao Ku ; Yun Lung Lin
Blind People - Tactile Graphics, Displays, and HCI
Evaluation of Long Descriptions of Statistical Graphics for Blind and Low Vision Web Users / H.K. Ault ; J.W. Deloge ; R.W. Lapp ; M.J. Morgan ; J.R. Barnett
A Tactile Display System Equipped with a Pointing Device - MIMIZU / Makoto Kobayashi ; Tetsuya Watanabe
Preparing Tactile Graphics for Traditional Braille Printers with / BrlGraphEditor ; Mario Batusic ; Franz Urban
TeDUB: A System for Presenting and Exploring Technical Drawings for Blind People / Christoph Schlieder ; Paul Blenkhorn ; Gareth Evans ; Alasdair King ; Anne-Marie O'Neill ; George T. Ioannidis ; Blaithin Gallagher ; Rolf Mager ; Maurizio Alafaci
Improvement of User Interface for Blind PC Users / Yutaka Shimizu ; Masami Shinohara ; Hideji Nagaoka ; Yasushige Yonezawa
Haptic and Audio Interfaces and Virtual Reality for Blind and Partially Sighted People
Haptic Perception of 2D Pictures and 3D Objects: Accurate Mental Representation as a Function of Visual Status / Helen Graupp ; Leanne Thompson
Microelectrical Mechanical Systems Actuator Array for Tactile Communication / Eniko T. Enikov ; Kalin V. Lazarov ; Gilbert R. Gonzales
Designing Interactive Tactile Diagrams / Ben Challis
Going Places with "KnowWare": Virtual Reality Maps for Blind People / Damian T. Murphy ; Michael C. Kelly ; Anthony I. Tew ; Myron W. Krueger
Blind People - Human Computer Interaction
Mental Models of Blind Users in the Windows Environment / Sri Hastuti Kurniawan ; Alistair Sutcliffe
An Approach to Producing New Languages for Talking Applications for Use by Blind People / D.G. Evans ; K. Polyzoaki ; P. Blenkhorn
User Requirements for Technologies for Personal Communication andInformation Use for Deafblind People / Wendy Fisher
Project IPSIS - WebPortal and Linux for the Blind / Danko Butorac
An Analysis of Layout Errors in Word Processed Documents Produced by Blind People / T. Diggle ; S. Kurniawan
Windows Screen Reader User Survey in Japan / Chuji Sashida ; Shinichi Okada
Tools for Creating Documents in 'Preferred Format' for Visually Impaired People
Blind People - Braille Printing
Braille Printing System / Shunsuke Hara ; Ryoko Kawamitsu ; Kanako Kusunoki ; Hiroshi Sato ; Mamoru Fujiyoshi
Braille Contractions in WinBraille / Mats Blomquist
Braille to Text Translation for Hungarian / Andras Arato ; Theresa Vaspori
The WinBraille Approach to Producing Braille Quickly and Effectively / Per Burman
People with Disabilities - Daily Living
Haptic Device System for Upper LimbMotor Function and CognitiveFunction Rehabilitation / Yoshiyuki Takahashi ; Takafumi Terada ; Kaoru Inoue ; Satoshi Sasada ; Takashi Komeda
Networking for Accessibility: Elderly People and New Technology / Sirkku Männikkö-Barbutiu
Tele-Help and Remote Service Provision Using RESORT Prototype System / Andreas Hochgatterer ; Mathijs Soede
Making Yourself at Home - Portable Personal Access Preferences / Jutta Treviranus
EU Project SILC - Personal Bio-Sensor Based Alarm System / Peter Mayer ; Georg Edelmayer
Videophones: Useful Assistive Devices for Visually Impaired Persons? / Morten Tollefsen ; Magne Lunde
HMPH - "Habitat Mobile pour Personnes Handicapees" - Software for the Design of an Adapted Living Area / Jérôme Leloup ; Pierre Gaucher
"Bonkers". Increasing Literacy Skills: An Eclectic Electronic Teaching Approach Gone "Bonkers" / Diana P. James
Access Music
Spoken Music: Enhancing Access to Music for the Print Disabled / Sijo Dijkstra ; Edmar Schut ; Natasha Lindsay
A Music Score Recogniser for the Blind / Angelo Da Ronch ; Adriano Blason
Visualization of Music Notation for Partially Sighted Persons / Tatiana Evreinova
Accessing the Software Studio / Mark A. Hilared
People with Disabilities - Political, Legal, and Individual Aspects
Opening Doors to Information Technology - Section 508 of the USRehabilitation Act of 1973 / Helen Chamberlain
Access: The North American Experience of Legislating Attitudes / Zachariah Cameron
An Open Machine Translation System for Augmentative and Alternative Communication / Constantinos Viglas ; Georgios Kouroupetroglou
Capabilities and Limitations of the Disabled in Remote Access to Information / Ryszard Kowalik
IMPACT: An Example of Information, Awareness, and Legislation, Leading toward a More Accessible Workplace / Charmaine Mueller Iversen
IT-Certficiates to Foster the Vocational Integration of People with Disabilities: ECDL® PD
IT-Certificates to Foster the Vocational Integration of People with Disabilities: ECDL® PD / Andrea Petz ; Denise Leahy
ECDL for Visually Impaired Persons: Learning Materials, Individual Training, and Distance Education
ECDL® PD - Using a Well Known Standard to Lift Barriers on the Labour Market
KISS - Keep It Short and Simple?
Many Ways to ECDL
Studying and Academic Mobility - IT Support for People with Disabilities
Studying and Academic Mobility - IT Support for Students with Disabilities / Joachim Klaus
Developing Academic Skills among Print Disabled Students: IT Based Austrian-Wide Network for Service Provision
Access to Learning for All / Mirela Arion ; Radu Ciupa ; Marius Iulian Tutuianu
The Evolving Door: Providing Technology Access for Post-secondary Students in a Constantly Changing Technology-Based Culture / Janice Hecht ; Bogdan Zamfir
Taking Assistive Technology to the Highest Degree / Todd Schmiedl ; S.L. Dyser
Learning from Each Other: Comparing the Service Provision for Blind and Visually-Impaired Students in Post-secondary Education in Japan and Europe / Hiroshi Katoh ; Martin Pauly
How Accessible Are Web Information Resources for Students with Disabilities? / Sri H. Kurniawan
Providing Assistive Technology and Alternate Media in Community Colleges: A Case Study / Calais Roussel
International Collaboration to Improve Assistive Technology Outcomes
The Study of Assistive Technology Outcomes in the United States / Marcia J. Scherer
Future Challenges in AT Outcome Measurement / Luc P. de Witte ; G.J. Gelderblom ; R.D. Wessels
European Instruments for Assistive Technology Outcome Assessment / L.P. de Witte
Implementing Outcomes Measurement in an Assistive Technology Service Delivery System / Gerald Craddock
Author Index
Invited Contributions
Structured Access to Documents, Digital Talking Books, and Beyond: The DAISY Consortium / George Kerscher
eEurope - eAccessibility - User Participation Participation of People with Disabilities and Older People in the Information Society (Introduction to the Special Thematic Session) / Christian Bühler
5.

図書

図書
Peter J. Stuckey (ed.)
出版情報: Berlin : Springer, c2002  xi, 486 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2401
所蔵情報: loading…
6.

図書

図書
Robert Nieuwenhuis, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer, c2001  xv, 738 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2250 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk / Session 1:
Monodic Fragments of First-Order Temporal Logics: 2000-2001 A.D / Ian Hodkinson ; Frank Wolter ; Michael Zakharyaschev
Verification / Session 2:
On Bounded Specifications / Orna Kupferman ; Moshe Y. Vardi
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy / Klaus Schneider
Local Temporal Logic Is Expressively Complete for Cograph Dependence Alphabets / Volker Diekert ; Paul Gastin
Guarded Logics / Session 3:
Games and Model Checking for Guarded Logics / Dietmar Berwanger ; Erich Grädel
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae / Lilia Georgieva ; Ullrich Hustadt ; Renate A. Schmidt
Agents / Session 4:
Local Conditional High-Level Robot Programs / Natasha Alechina ; Brian Logan ; Sebastian SardiñaLogical Omniscience and the Cost of Deliberation:
A Refinement Theory That Supports Reasoning about Knowledge and Time for Synchronous Agents / Kai Engelhardt ; Ron van der Meyden ; Yoram Moses
Automated Theorem Proving / Session 5:
Proof and Model Generation with Disconnection Tableaux / Reinhold Letz ; Gernot Stenz
Counting the Number of Equivalent Binary Resolution Proofs / Joseph D. Horton
Splitting through New Proposition Symbols / Hans de NivelleSession 6:
Complexity of Linear Standard Theories / Christopher Lynch ; Barbara Morawska
Herbrand's Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving / Matthias Baaz ; Agata Ciabattoni ; Christian G. Fermüller
Non-classical Logics / Session 7:
Unification in a Description Logic with Transitive Closure of Roles / Franz Baader ; Ralf Küsters
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions / Guy Perrier
Types / Session 8:
Coherence and Transitivity in Coercive Subtyping / Yong Luo ; Zhaohui Luo
A Type-Theoretic Approach to Induction with Higher-Order Encodings / Carsten Schürmann
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification / Jan-Georg Smaus
Experimental Papers / Session 9:
First-Order Atom Definitions Extended / Miyuki Koshimura ; Hiroshi Fujita ; Ryuzo Hasegawa ; Bijan Afshordel ; Thomas Hillenbrand ; Christoph WeidenbachModel Generation with Boolean Constraints:
Automated Proof Support for Interval Logics / Thomas Marthedal Rasmussen
Foundations of Logic / Session 10:
The Functions Provable by First Order Abstraction / Daniel Leivant
A Local System for Classical Logic / Kai Brunnler ; Alwen Fernanto Tiu
CSP and SAT / Session 11:
Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae / Jussi Rintanen
Permutation Problems and Channelling Constraints / Toby Walsh
Simplifying Binary Propositional Theories into Connected Components Twice as Fast / Alvaro del Val
Non-monotonic Reasoning / Session 12:
Reasoning about Evolving Nonmonotonic Knowledge Bases / Thomas Eiter ; Michael Fink ; Giuliana Sabbatini ; Hans Tompits
Efficient Computation of the Well-Founded Model Using Update Propagation / Andreas Behrend
Semantics / Session 13:
Indexed Categories and Bottom-Up Semantics of Logic Programs / Gianluca Amato ; James Lipton
Functional Logic Programming with Failure: A Set-Oriented View / F.J. Lopez-Fraguas ; J. Sanchez-Hernandez
Operational Semantics for Fixed-Point Logics on Constraint Databases / Stephan Kreutzer
Efficient Negation Using Abstract Interpretation / Susana Muñoz ; Juan José Moreno ; Manuel HermenegildoSession 14:
Certifying Synchrony for Free / Sylvain Boulmé ; Grégoire Hamon
A Computer Environment for Writing Ordinary Mathematical Proofs / David McMath ; Marianna Rozenfeld ; Richard Sommer
Termination / Session 15:
On Termination of Meta-programs / Alexander Serebrenik ; Danny De Schreye
A Monotonic Higher-Order Semantic Path Ordering / Cristina Borralleras ; Albert Rubio
Knowledge-Based Systems / Session 16:
The Elog Web Extraction Language / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob
Census Data Repair: A Challenging Application of Disjunctive Logic Programming / Enrico Franconi ; Antonio Laureti Palma ; Nicola Leone ; Simona Perri ; Francesco Scarcello
Analysis of Logic Programs / Session 17:
Boolean Functions for Finite-Tree Dependencies / Roberto Bagnara ; Enea Zaffanella ; Roberta Gori ; Patricia M. Hill
How to Transform an Analyzer into a Verifier / Marco Comini ; Giorgio Levi
Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search / Rong Yang ; Steve Gregory
Databases and Knowledge Bases / Session 18:
Coherent Composition of Distributed Knowledge-Bases through Abduction / Ofer Arieli ; Bert Van Nuffelen ; Marc Denecker ; Maurice Bruynooghe
Tableaux for Reasoning about Atomic Updates / Georg Moser ; Richard Zach
Inference of Termination Conditions for Numerical Loops in Prolog / Session 19:
Termination of Rewriting with Strategy Annotations / Salvador Lucas
Inferring Termination Conditions for Logic Programs Using Backwards Analysis / Samir Genaim ; Michael Codish
Program Analysis and Proof Planning / Session 20:
Reachability Analysis of Term Rewriting Systems with Timbuk / Thomas Genet ; Valerie Viet Triem Tong
Binding-Time Annotations without Binding-Time Analysis / Wim Vanhoof
Concept Formation via Proof Planning Failure / Raúl Monroy
Author Index
Invited Talk / Session 1:
Monodic Fragments of First-Order Temporal Logics: 2000-2001 A.D / Ian Hodkinson ; Frank Wolter ; Michael Zakharyaschev
Verification / Session 2:
7.

図書

図書
Philippe Codognet (ed.)
出版情報: Berlin ; New York : Springer, c2001  xi, 364 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2237
所蔵情報: loading…
8.

図書

図書
Kung-Kiu Lau (ed.)
出版情報: Berlin : Springer, c2001  viii, 181 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2042
所蔵情報: loading…
9.

図書

図書
Céline Rouveirol, Michèle Sebag (eds.)
出版情報: Berlin : Springer, c2001  x, 259 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2157 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
A Refinement Operator for Theories / Liviu Badea
Learning Logic Programs with Neural Networks / Rodrigo Basilio ; Gerson Zaverucha ; Valmir C. Barbosa
A Genetic Algorithm for Propositionalization / Agnes Braud ; Christel Vrain
Classifying Uncovered Examples by Rule Stretching / Martin Eineborg ; Henrik Boström
Relational Learning Using Constrained Confidence-Rated Boosting / Susanne Hoche ; Stefan Wrobel
Induction, Abduction, and Consequence-Finding / Katsumi Inoue
From Shell Logs to Shell Scripts / Nico Jacobs ; Hendrik Blockeel
An Automated ILP Server in the Field of Bioinformatics / Andreas Karwath ; Ross D. King
Adaptive Bayesian Logic Programs / Kristian Kersting ; Luc De Raedt
Towards Combining Inductive Logic Programming with Bayesian Networks
Demand-Driven Construction of Structural Features in ILP / Stefan Kramer
Transformation-Based Learning Using Multirelational Aggregation / Mark-A. Krogel
Discovering Associations between Spatial Objects An ILP Application / Donato Malerba ; Francesca A. Lisi
?-Subsumption in a Constraint Satisfaction Perspective / Jérôme Maloberti ; Michèle Sebag
Learning to Parse from a Treebank: Combining TBL and ILP / Miloslav Nepil
Induction of Stable Models / Ramón P. Otero
Application of Pruning Techniques for Propositional Learning to Progol / Tomonobu Ozaki ; Koichi Furukawa
Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition / René Quiniou ; Marie-Odile Cordier ; Guy Carrault ; Feng Wang
Efficient Cross-Validation in ILP / Jan Struyf
Modelling Semi-structured Documents with Hedges for Deduction and Induction / Akihiro Yamamoto ; Kimihito Ito ; Akira Ishino ; Hiroki Arimura
Learning Functions from Imperfect Positive Data / Filip Äelezný
Author Index
A Refinement Operator for Theories / Liviu Badea
Learning Logic Programs with Neural Networks / Rodrigo Basilio ; Gerson Zaverucha ; Valmir C. Barbosa
A Genetic Algorithm for Propositionalization / Agnes Braud ; Christel Vrain
10.

図書

図書
Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
出版情報: Berlin : Springer, c2001  xi, 444 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2173 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
A Computational Logic Approach to Heterogenous Agent Systems / Jürgen Dix
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob
On the Complexity of Model Checking and Inference in Minimal Models (Extended Abstract) / Lefteris M. Kirousis ; Phokion G. Kolaitis
Data Integration Needs Reasoning / Maurizio Lenzerini
Nonmonotonic Inductive Logic Programming / Chiaki Sakama
Regular Papers
Strong Equivalence for Logic Programs and Default Theories (Made Easy) / Hudson Turner
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules / Tomi Janhunen
On the Expressibility of Stable Logic Programming / V. W. Marek ; J. B. Remmel
On the Relationship between Defeasible Logic and Well-Founded Semantics / Gerhard Brewka
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs / Kewen Wang
Reasoning with Open Logic Programs / Piero A. Bonatti
Representation of Incomplete Knowledge by Induction of Default Theories / Pascal Nicolas ; Béatrice Duval
Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules / Véronique Ventos ; Pierre Brézellec ; Henry Soldano
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming / Chitta Baral ; Cenk Uyan
Bounded LTL Model Checking with Stable Models / Keijo Heljanko ; Ilkka Niemelä
Diagnosing Physical Systems in A-Prolog / Michael Gelfond ; Marcello Balduccini ; Joel Galloway
Planning with Different Forms of Domain-Dependent Control Knowledge -An Answer Set Programming Approach / Tran Cao Son ; Sheila McIlraith
Encoding Solutions of the Frame Problem in Dynamic Logic / Norman Foo ; Dongmo Zhang ; Yan Zhang ; Samir Chopra ; Bao Quoc Vo
E-RES: Reasoning about Actions, Events and Observations / Antonis Kakas ; Rob Miller ; Francesca Toni
Omega-Restricted Logic Programs / Tommi Syrjänen
Improving ASP Instantiators by Join-Ordering Methods / Nicola Leone ; Simona Perri ; Francesco Scarcello
Optimizing the Computation of Heuristics for Answer Set Programming Systems / Wolfgang Faber ; Gerald Pfeifer
New Generation Systems for Non-monotonic Reasoning / Frédéric Saubion ; Igor Stéphan
Algorithms for Computing X-Minimal Models / Chen Avin ; Rachel Ben-Eliyahu - Zohary
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / Thomas Lukasiewicz
Multi-adjoint Logic Programming with Continuous Semantics / Jesús Medina ; Manuel Ojeda-Aciego ; Peter VojtáÜ
Multi-dimensional Dynamic Knowledge Representation / João Alexandre Leite ; José Júlio Alferes ; LuÆis Moniz Pereira
Antitonic Logic Programs / Carolos Viegas Damásio ; Luis Moniz Pereira
System Descriptions
A-system: Declarative Programming with Abduction / Bert Van Nuffelen
An Update Front-End for Extended Logic Programs / Thomas Eiter ; Michael Fink ; Giuliana Sabbatini ; Hans Tompits
aspps - An Implementation of Answer-Set Programming with Propositional Schemata / Deborah East ; Miroslaw Truszczynski
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics / Christian Anger ; Kathrin Konczak ; Thomas Linke
plp: A Generic Compiler for Ordered Logic Programs / James P. Delgrande ; Torsten Schaub
Prototypes for Reasoning with Infinite Stable Models and Function Symbols
psmodels: Stable Models Based on Pertinence / Ramon P. Otero
System Description: DLV / Tina Dell'Armi ; Giuseppe Ielpa ; Christoph Koch
System Description: The DLVK Planning System / Axel Polleres
The Smodels System
The USA-Advisor: A Case Study in Answer Set Planning / R. Watson ; M. Nogueira
Author Index
Invited Papers
A Computational Logic Approach to Heterogenous Agent Systems / Jürgen Dix
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼