7049 search results - page 1125 / 1410 » Data Abstraction for CSP-OZ |
146
click to vote
CISIS
2010
IEEE
16 years 3 days ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
141
click to vote
ACSC
2003
IEEE
16 years 2 days ago
2003
IEEE
In response to Searle's well-known Chinese room argument against Strong AI (and more generally, computationalism), Harnad proposed that if the symbols manipulated by a robot ...
143
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— In this paper we describe the use of automatic exploration for autonomous mapping of outdoor scenes. We describe a real-time SLAM implementation along with an autonomou...
167
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— This work presents a thorough investigation of the structure of multicast trees cut from the Internet and power-law topologies. Based on both generated topologies and r...
170
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— Network monitoring and diagnosis are key to improving network performance. The difficulties of performance monitoring lie in today’s fast growing Internet, accompani...