4235 search results - page 618 / 847 » Processes in Space |
201
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
170
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Robust sequence prediction is an essential component of an intelligent agent acting in a dynamic world. We consider the case of near-future event prediction by an online learning ...
180
click to vote
IMC
2004
ACM
16 years 2 days ago
2004
ACM
— Geolocation of Internet hosts enables a diverse and interesting new class of location-aware applications. Previous measurement-based approaches use reference hosts, called land...
188
click to vote
ICDE
2010
IEEE
15 years 12 months ago
2010
IEEE
— In recent years, the research community introduced various methods for processing skyline queries in multidimensional databases. The skyline operator retrieves all objects bein...
217
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...