3909 search results - page 247 / 782 » Extreme Model Checking |
134
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
We address the problem of reconstructing 3D face models from large unstructured photo collections, e.g., obtained by Google image search or from personal photo collections in iPho...
143
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
130
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— We propose a fast approach for detecting collisionfree swing-foot trajectories for legged locomotion over extreme terrains. Instead of simulating the swing trajectories...
121
click to vote
IEAAIE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
126
click to vote
SSDBM
1997
IEEE
15 years 7 months ago
1997
IEEE
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...