1766 search results - page 217 / 354 » Developing Applications With Objective Caml |
126
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
197
click to vote
HUMAN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A groupware that integrates synchronous and asynchronous collaboration paradigms is developed to support international medical collaboration activities carried out among ...
134
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
Structured peer-to-peer overlay networks have recently emerged as good candidate infrastructure for building novel large-scale and robust Internet applications in which participat...
136
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Reaching a target while remaining in a given set for impulse dynamics can be characterized by a non deterministic controlled differential equation and a controlled instantaneous r...
152
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...