826 search results - page 25 / 166 » Resolving Concurrent Interactions |
134
click to vote
ACL
1997
15 years 3 months ago
1997
To understand a speaker’s turn of a conversation, one needs to segment it into intonational phrases, clean up any speech repairs that might have occurred, and identify discourse...
92
Voted
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
Software agents are currently the subject of much research in many interrelated fields. Unfortunately, there has not been enough emphasis on defining the techniques required to bu...
114
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
108
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
116
click to vote
VC
2010
15 years 22 days ago
2010
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...