696 search results - page 99 / 140 » Explaining abstract counterexamples |
102
click to vote
CISIS
2010
IEEE
15 years 8 months 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...
101
click to vote
ICRA
2003
IEEE
15 years 8 months 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...
134
click to vote
AWIC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Complementary to hypertext navigation, classic information retrieval is broadly used to find information on the World Wide Web and on Web-based systems. Among these there...
158
click to vote
EWSPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
134
click to vote
IDA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Many examples exist of multivariate time series where dependencies between variables change over time. If these changing dependencies are not taken into account, any mode...