4235 search results - page 618 / 847 » Process Spaces |
199
click to vote
KBSE
2005
IEEE
16 years 2 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...
163
click to vote
ATAL
2005
Springer
16 years 1 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 ...
178
click to vote
IMC
2004
ACM
15 years 12 months 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...
184
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...
177
click to vote
ICDE
2010
IEEE
15 years 11 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...