1559 search results - page 257 / 312 » Heuristic Approaches to Energy-Efficient Network Design Prob... |
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
53
Voted
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
72
Voted
CIKM
2000
Springer
15 years 3 months ago
2000
Springer
We consider the problem of browsing the top ranked portion of the documents returned by an information retrieval system. We describe an interactive relevance feedback agent that a...
101
click to vote
FOSSACS
2008
Springer
15 years 15 days ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...