28445 search results - page 408 / 5689 » Anatomically based modeling |
111
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
131
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
149
Voted
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Unstructured peer-to-peer networks can be extremely flexible, but, because of size, complexity, and high variability in peers’ capacity and reliability, it is a conti...
122
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, the path following problem of an omnidirectional mobile robot has been studied. Given the error dynamic model derived from the robot state vector and the path st...
116
Voted
ICTIR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...