7890 search results - page 410 / 1578 » The MathSAT 3 System |
140
click to vote
VRCAI
2004
ACM
16 years 6 days ago
2004
ACM
ion visualization is valuable in learning abstract ideas and new concepts. The existing technology for publishing online papers is lacking in terms of user interaction as well as ...
207
click to vote
ICA3PP
2007
Springer
16 years 28 days ago
2007
Springer
Ubiquitous communications require wireless networking and infrastructure network support. The first step is to look at how the different available technologies will integrate and w...
202
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
- Autonomous navigation in 2D and 3D environments has been studied for a long time. Navigating within a 3D environment is very challenging for both animals and robots and a variety...
185
click to vote
EDCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
170
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...