close
1.

図書

図書
Chris Johnson (ed.)
出版情報: Berlin ; New York : Springer, c2001  xii, 217 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2220
所蔵情報: loading…
目次情報: 続きを見る
Mobile Interface Design
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices / Kris Luyten ; Karin Coninx
Model-Based User Interface Design Using Markup Concepts / Andreas Mueller ; Peter Forbrig ; Clemens Cap
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems / Kevin A. Schneider ; James R. Cordy
Task Modelling for Context-Sensitive User Interfaces / Costin Pribeanu ; Quentin Limbourg ; Jean Vanderdonckt
Supervision and Control Systems
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis / Maria de F.Q.V. Turnell ; Alexandre Scaico ; Marckson R.F. de Sousa ; Angelo Perkusich
A Tool Suite for Integrating Task and System Models through Scenarios / David Navarre ; Philippe Palanque ; Fabio Paterno ; Carmen Santoro ; Rémi Bastide
Temporal and Stochastic Issues
Temporal Patterns for Complex Interaction Design / Min Du ; David England
Modelling Dynamic Group Behaviours / José Luis Garrido ; Miguel Gea
Reasoning about Interactive Systems with Stochastic Models / G. Doherty ; M. Massink ; G. Faconti
New Perspectives
Towards Uniformed Task Models in a Model-Based Approach
Heuristic Evaluation of Website Attractiveness and Usability / Alistair Sutcliffe
Affordance and Symmetry / Harold Thimbleby
Author Index
Mobile Interface Design
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices / Kris Luyten ; Karin Coninx
Model-Based User Interface Design Using Markup Concepts / Andreas Mueller ; Peter Forbrig ; Clemens Cap
2.

図書

図書
Angélica de Antonio, Ruth Aylett, Daniel Ballin (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  viii, 243 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2190 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書

図書
Daniel Amyot, Alan W. Williams (eds.)
出版情報: Berlin : Springer, c2005  xii, 300 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3319
所蔵情報: loading…
4.

図書

図書
editors, Stephen J. Turner, David J. Roberts, and Linda F. Wilson ; sponsored by IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Computer Architecture ; supported by ACM SIGSIM
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xiv, 248 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
Donald J. Gerson, chair/editor ; sponsored by SPIE--the International Society for Optical Engineering, AIPR Executive Committee
出版情報: Bellingham, Wash., USA : SPIE, c1996  vii, 216 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2645
所蔵情報: loading…
目次情報: 続きを見る
Synthetic environments / George E. Lukes ; Joel M. Cain
Overview of modeling and simulation / William Menner
High-performance image database system for remote sensing / Carter Shock ; Chialin Chang ; Larry S. Davis ; Samuel Goward ; Joel H. Saltz ; Alan D. Sussman
Rapid 3D video/laser sensing and digital archiving with immediate on-scene feedback for 3D crime scene/mass disaster data collection and reconstruction / Bruce R. Altschuler ; William R. Oliver ; Martin D. Altschuler
Security applications of virtual reality GIS / Nickolas L. Faust
Age-progression technology and its application to law enforcement / Horace Heafner
Image processing and 3D visualization in forensic pathologic examination
RADIUS phase II: the RADIUS test-bed system / Donald J. Gerson ; Sidney E. Wood
RADIUS-related research programs / Thomas Strat ; Anthony Hoogs
Coordinate systems and transformations for 3D modeling: the unifying concept in the RADIUS common development environment / Lynn H. Quam ; Aaron J. Heller
Cartographic applications of model-based optimization / Pascal Fua
Observation events: a basis for change detection / Joseph L. Mundy
Model-supported exploitation of synthetic aperture radar images / Rama Chellappa ; Shyam Kuttikkad ; Reuven Meth ; Philippe Burlina ; Chandra S. Shekhar
Site change detection for RADIUS using thermophysical algebraic invariants / Nagaraj Nandhakumar ; Johnathan D. Michel ; D. G. Arnold ; Vincent J. Velten ; George A. Tsihrintzis
Image exploitation using multisensor/neural network systems / E. C. Uberbacher ; Y. Xu ; R. W. Lee ; Charles W. Glover ; Martin Beckerman ; Reinhold C. Mann
Combining database support for image understanding and model-supported exploitation / Bethany Kniffen
Object position refinement using hierarchical search
Adaptive-sized hybrid neural network for segmentation of breast cancer cells in pathology images / Akira Hasegawa ; Kevin J. Cullen ; Seong K. Mun
Extracting contextual information in digital imagery: applications to automatic target recognition and mammography / Clay D. Spence ; Paul Sajda ; John C. Pearson
Detecting lesions in magnetic resonance breast scans / Rakesh Kumar ; Keith Hanna ; J. Charles Asmuth ; James R. Bergen ; C. Hulka ; Daniel B. Kopans ; R. Weisskoff ; R. Moore
Adaptive level of detail technique for real-time display in virtual reality / Douglas J. Wiley ; Allen N. Duckworth
Combining virtual reality and multimedia techniques for effective maintenance training / David M. McLin ; James C. Chung
Factors affecting scalability of distributed interactive simulations / David R. Pratt ; Martin S. Almquist
Synthetic environments / George E. Lukes ; Joel M. Cain
Overview of modeling and simulation / William Menner
High-performance image database system for remote sensing / Carter Shock ; Chialin Chang ; Larry S. Davis ; Samuel Goward ; Joel H. Saltz ; Alan D. Sussman
6.

図書

図書
Philippe Palanque, Fabio Paternò (eds.)
出版情報: Berlin ; New York : Springer, c2001  x, 250 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1946
所蔵情報: loading…
目次情報: 続きを見る
Designing Interactive Distributed Systems
Specifying Temporal Behaviour in Software Architectures for Groupware Systems / Timothy N. Wright ; T.C. Nicholas Graham ; Tore Urnes
Questioning the Foundations of Utility for Quality of Service in Interface Development / Chris Johnson
Designing User Interfaces
A Framework for the Combination and Characterization of Output Modalities / Frédéric Vernier ; Laurence Nigay
Specifying Multiple Time Granularities in Interactive Systems / Maria Kutar ; Carol Britton ; Chrystopher Nehaniv
Verifying the Behaviour of Virtual Environment World Objects / James S. Willans ; Michael D. Harrison
Tools for User Interfaces
SUIT - Context Sensitive Evaluation of User Interface Development Tools. / Joanna Lumsden ; Philip Gray
Structuring Interactive Systems Specifications for Executability and Prototypability / David Navarre ; Philippe Palanque ; Rémi Bastide ; Ousmane Sy
A Toolkit of Mechanism and Context Independent Widgets / Murray Crease ; Stephen Brewster
Formal Methods for Human-Computer Interaction Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties / Fabiò Paterno ; Carmen Santoro
More Precise Descriptions of Temporal Relations within Task Models / Anke Ditmar
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? / Karsten Loer ; Michael Harrison
Model-Based Design of Interactive Systems
Wisdom - A UML Based Architecture for Interactive Systems / Nuno Jardim Nunes ; João Falcão e Cunha
User Interface Declarative Models and Development Environments: A Survey / Paulo Pinheiro da Silva
The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results / Quentin Limbourg ; Jean Vanderdonckt ; Nathalie Souchon
Indexes
Subject Index
Author Index
Designing Interactive Distributed Systems
Specifying Temporal Behaviour in Software Architectures for Groupware Systems / Timothy N. Wright ; T.C. Nicholas Graham ; Tore Urnes
Questioning the Foundations of Utility for Quality of Service in Interface Development / Chris Johnson
7.

図書

図書
Steve Renals, Gregory Grefenstette (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  197 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2705 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Text- and Speech-Triggered Information Access: Introduction / Gregory Grefenstette ; Steve Renals
Data Analysis for a Multimedia Library / Alexander Hauptmann ; Rong Jin ; Howard Wactlar
A Tutorial on Pronunciation Modeling for Large Vocabulary Speech Recognition / Eric Fosler-Lussier
Statistical Language Modelling / Yoshihiko Gotoh
Very Large Scale Information Retrieval / David Hawking
Reducing Information Variation in Text / Agata Savary ; Christian Jacquemin
Open Research Questions for Linguistics in Information Access / Jussi Karlgren
Index
Text- and Speech-Triggered Information Access: Introduction / Gregory Grefenstette ; Steve Renals
Data Analysis for a Multimedia Library / Alexander Hauptmann ; Rong Jin ; Howard Wactlar
A Tutorial on Pronunciation Modeling for Large Vocabulary Speech Recognition / Eric Fosler-Lussier
8.

図書

図書
Thomas Rist ... [et al.], (Eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 364 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2792 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 427 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2844
所蔵情報: loading…
10.

図書

図書
Peter Forbrig ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 267 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2545
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼