498 search results - page 40 / 100 » A Theory of Complexity for Continuous Time Systems |
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
128
click to vote
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
100
click to vote
ICPR
2006
IEEE
16 years 28 days ago
2006
IEEE
Speech recognition is usually based on Hidden Markov Models (HMMs), which represent the temporal dynamics of speech very efficiently, and Gaussian mixture models, which do non-opt...
110
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
122
click to vote
BIOCOMP
2006
15 years 1 months ago
2006
: A novel, non-touch, screen pointing "magic wand" interface is proposed for surgeon's use in an environment requiring simultaneous display of several patients'...