Sciweavers

1660 search results - page 40 / 332
» Abstract Application Modeling for System Design Space Explor...
Sort
View
119
Voted
COSIT
2009
Springer
133views GIS» more  COSIT 2009»
15 years 9 months ago
A Metric Conceptual Space Algebra
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
Benjamin Adams, Martin Raubal
134
Voted
APVIS
2008
15 years 4 months ago
A Novel Visualization System for Expressive Facial Motion Data Exploration
Facial emotions and expressive facial motions have become an intrinsic part of many graphics systems and human computer interaction applications. The dynamics and high dimensional...
Tanasai Sucontphunt, Xiaoru Yuan, Qing Li, Zhigang...
117
Voted
EWHCI
1993
15 years 6 months ago
The MSM Framework: A Design Space for Multi-Sensori-Motor Systems
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
Joëlle Coutaz, Laurence Nigay, Daniel Salber
142
Voted
HT
1987
ACM
15 years 6 months ago
Exploring Representation Problems Using Hypertext
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
Catherine C. Marshall
156
Voted
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 9 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...