Sciweavers

2827 search results - page 163 / 566
» CCured in the real world
Sort
View
PE
2007
Springer
137views Optimization» more  PE 2007»
15 years 6 months ago
A prediction method for job runtimes on shared processors: Survey, statistical analysis and new avenues
Grid computing is an emerging technology by which huge numbers of processors over the world create a global source of processing power. Their collaboration makes it possible to pe...
Menno Dobber, Robert D. van der Mei, Ger Koole
RAS
2007
117views more  RAS 2007»
15 years 6 months ago
Learning spatial concepts from RatSLAM representations
RatSLAM is a biologically-inspired visual SLAM and navigation system that has been shown to be effective indoors and outdoors on real robots. The spatial representation at the cor...
Michael Milford, Ruth Schulz, David Prasser, Gordo...
PVLDB
2008
107views more  PVLDB 2008»
15 years 6 months ago
A pay-as-you-go framework for query execution feedback
Past work has suggested that query execution feedback can be useful in improving the quality of plans by correcting cardinality estimation errors in the query optimizer. The state...
Surajit Chaudhuri, Vivek R. Narasayya, Ravishankar...
RAS
2008
150views more  RAS 2008»
15 years 6 months ago
Logic-based robot control in highly dynamic domains
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Alexander Ferrein, Gerhard Lakemeyer
CIKM
2010
Springer
15 years 5 months ago
Clickthrough-based translation models for web search: from word models to phrase models
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...
Jianfeng Gao, Xiaodong He, Jian-Yun Nie