5170 search results - page 955 / 1034 » Consistency of the FastSLAM Algorithm |
150
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
134
Voted
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
126
click to vote
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
The techniques described in this paper allow multiscale photon-limited image reconstruction methods to be implemented with significantly less computational complexity than previou...
119
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Given a terabyte click log, can we build an efficient and effective click model? It is commonly believed that web search click logs are a gold mine for search business, because th...
135
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Social media websites promote diverse user interaction on media objects as well as user actions with respect to other users. The goal of this work is to discover community structu...