3938 search results - page 140 / 788 » Interactive Protocols on the Reals |
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Design-to-Criteria builds custom schedules for agents that meet hard temporal constraints, hard resource constraints, and soft constraints stemming from soft task interactions or ...
91
Voted
ANLP
1992
15 years 2 months ago
1992
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...
84
Voted
ANSOFT
1999
15 years 15 days ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
110
click to vote
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
119
Voted
TVCG
2012
13 years 3 months ago
2012
—Immersive spaces such as 4-sided displays with stereo viewing and high-quality tracking provide a very engaging and realistic virtual experience. However, walking is inherently ...