7557 search results - page 656 / 1512 » Modeling Timed Concurrent Systems |
232
click to vote
GW
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
220
click to vote
PLDI
2004
ACM
16 years 19 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
241
click to vote
BIRTHDAY
2003
Springer
16 years 13 days ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
192
click to vote
SSDBM
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
185
click to vote
CSB
2005
IEEE
16 years 25 days ago
2005
IEEE
ECOME is an interactive, graph-based model for simulating an evolving, closed consumption web. It demonstrates the fundamental behavior of a global ecosystem over evolutionary tim...