488 search results - page 72 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
CANDC
2007
ACM
15 years 27 days ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
82
Voted
CHI
2004
ACM
15 years 11 months ago
2004
ACM
Ubiquitous, context-aware computer systems may ultimately enable computer applications that naturally and usefully respond to a user's everyday activity. Although new algorit...
CGF
2004
14 years 11 months ago
2004
Crowd simulation for virtual environments offers many challenges centered on the trade-offs between rich behavior, control and computational cost. In this paper we present a new a...
SBIA
1998
Springer
15 years 3 months ago
1998
Springer
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
108
click to vote
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...