1054 search results - page 77 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
123
click to vote
VRML
2009
ACM
15 years 10 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
169
click to vote
PRESENCE
2007
15 years 3 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
152
click to vote
MCU
2007
15 years 5 months ago
2007
We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
122
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
151
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...