2944 search results - page 316 / 589 » Robust Semantic Construction |
181
click to vote
IJRR
2010
15 years 5 months ago
2010
This paper investigates sequential robotic microassembly for the construction of 3D micro-electro-mechanical systems (MEMS) structures using a 3D visual servoing approach. The pre...
230
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
399
Voted
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We propose a novel tracking framework called visual tracker sampler that tracks a target robustly by searching for the appropriate trackers in each frame. Since the real-world trac...
326
Voted
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
175
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...