3424 search results - page 396 / 685 » Automated Testing of Classes |
140
click to vote
WACV
2008
IEEE
16 years 18 days ago
2008
IEEE
Automating tools for geo-locating and geo-orienting static cameras is a key step in creating a useful global imaging network from cameras attached to the Internet. We present algo...
161
click to vote
ICRA
2007
IEEE
16 years 16 days ago
2007
IEEE
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
152
click to vote
ICTAI
2007
IEEE
16 years 16 days ago
2007
IEEE
This paper presents a methodology for the real-time extraction of readers’ emotional state from documents as well as the representation of emotionally annotated documents into a...
196
click to vote
SIES
2007
IEEE
16 years 15 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
161
click to vote
AGILE
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In cartography and computational geometry, concepts and techniques for automated label placement have been developed for twodimensional maps. Less is known whether these ...