2917 search results - page 221 / 584 » Satisfying Interaction Constraints |
187
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
174
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
A new general-purpose color image segmentation editor (CISE) for the purpose of extracting a semantic object is designed, implemented and tested on a number of various natural sce...
180
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
As users get connected with new-generation smart programmable phones and Personal Digital Assistants, they look for geographic information and location-aware services. In such a s...
189
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
163
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...