2800 search results - page 394 / 560 » Scaling RDF with time |
178
click to vote
IPSN
2005
Springer
16 years 3 days ago
2005
Springer
— This paper describes the XYZ, a new open-source sensing platform specifically designed to support our experimental research in mobile sensor networks. The XYZ node is designed...
177
click to vote
ISI
2005
Springer
16 years 3 days ago
2005
Springer
Intelligence analysts are flooded with massive amounts of data from a multitude of sources and in many formats. From this raw data they attempt to gain insight that will provide de...
181
click to vote
LCPC
2005
Springer
16 years 3 days ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
173
click to vote
ROBOCUP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...
164
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...