4353 search results - page 729 / 871 » Expressiveness of Process Algebras |
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
This paper introduces an approach to control of physics-based characters based on high-level features of movement, such as centerof-mass, angular momentum, and end-effectors. Obje...
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
VLDB
2001
ACM
15 years 2 months ago
2001
ACM
Constrained gradient analysis (similar to the “cubegrade” problem posed by Imielinski, et al. [9]) is to extract pairs of similar cell characteristics associated with big chan...
66
Voted
FGR
2000
IEEE
15 years 2 months ago
2000
IEEE
Most eye trackers work well for open eyes. However, blinking is a physiological necessity for humans. Moreover, for applicationssuch as facial expression analysis and driver aware...
100
click to vote
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...