611 search results - page 99 / 123 » Relative simulation and model checking of real-time processe... |
ICCS
2009
Springer
13 years 6 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
ISTCS
1992
Springer
14 years 11 days ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Animal ecologists have successfully applied agent-based models to many different problems. Often, these focus on issues concerning collective behaviors, environmental interactions...
HRI
2007
ACM
14 years 22 days ago
2007
ACM
Intelligent planning algorithms such as the Partially Observable Markov Decision Process (POMDP) have succeeded in dialog management applications [10, 11, 12] because of their rob...
WABI
2009
Springer
14 years 3 months ago
2009
Springer
Background: This paper considers the problem of identifying pathways through metabolic networks that relate to a specific biological response. Our proposed model, HME3M, first ide...