2586 search results - page 248 / 518 » Automatic Abstraction for Congruences |
170
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Automatic recognition of unstructured environments is an important problem for mobile robots. We focus on using audio features to recognize different auditory environments, where ...
157
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— This paper explores autonomous locomotion, reaching, grasping and manipulation for the domain of Navigation Among Movable Obstacles (NAMO). The robot perceives and cons...
187
click to vote
ISPW
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
156
click to vote
APLAS
2006
ACM
16 years 18 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
170
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— With the capability of infecting hundreds of thousands of hosts, worms represent a major threat to the Internet. The defense against Internet worms is largely an open p...