Sciweavers

3758 search results - page 224 / 752
» A Complete Subsumption Algorithm
Sort
View
ICRA
2010
IEEE
189views Robotics» more  ICRA 2010»
15 years 11 days ago
The Office Marathon: Robust navigation in an indoor office environment
Abstract-- This paper describes a navigation system that allowed a robot to complete 26.2 miles of autonomous navigation in a real office environment. We present the methods requir...
Eitan Marder-Eppstein, Eric Berger, Tully Foote, B...
ICCV
2003
IEEE
16 years 4 months ago
Learning How to Inpaint from Global Image Statistics
Inpainting is the problem of filling-in holes in images. Considerable progress has been made by techniques that use the immediate boundary of the hole and some prior information o...
Anat Levin, Assaf Zomet, Yair Weiss
POPL
2008
ACM
16 years 2 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani
ICCD
2001
IEEE
120views Hardware» more  ICCD 2001»
15 years 11 months ago
Architectural Enhancements for Fast Subword Permutations with Repetitions in Cryptographic Applications
We propose two new instructions, swperm and sieve, that can be used to efficiently complete an arbitrary bit-level permutation of an n-bit word with or without repetitions. Permut...
John Patrick McGregor, Ruby B. Lee
3DIM
2007
IEEE
15 years 8 months ago
Dual-Mode Deformable Models for Free-Viewpoint Video of Sports Events
Generating free-viewpoint video in outdoor sports environments is currently an unsolved problem due to difficulties in obtaining accurate background segmentation and camera calib...
Joe Kilner, Jonathan Starck, Adrian Hilton, Oliver...