156 search results - page 29 / 32 » Using Alternating Words to Describe Symbolic Pictures |
JUCS
2008
15 years 7 days ago
2008
Abstract We present an alternative interface that allows users to perceive new sensations in virtual environments. Gaze-based interaction in virtual environments creates the feelin...
82
Voted
UMUAI
1998
14 years 12 months ago
1998
This paper presents some alternate theories for explaining the term ‘initiative’, as it is used in the design of mixed-initiative AI systems. Although there is now active resea...
107
click to vote
ECMDAFA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
140
Voted
FUIN
2007
15 years 6 days ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
103
Voted
JLP
2006
15 years 7 days ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...