2302 search results - page 149 / 461 » Testing as Abstraction |
137
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. We discuss the numerical evaluation of a symmetric potential function which arises naturally in applications. We present a method designed to accurately and efficiently c...
172
click to vote
IJCV
2008
15 years 6 months ago
2008
Abstract A fully automatic initialization approach for 3Dmodel-based vehicle tracking has been developed, based on Edge-Element and Optical-Flow association. An entire automatic in...
141
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— In this paper we present two task-allocation strategies for a multi-robot transportation system. The first strategy is based on a centralized planner that uses domain ...
169
click to vote
RSCTC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Clinical Decision Support Systems embed data-driven decision models designed to represent clinical acumen of an experienced physician. We argue that eliminating physician...
158
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--We present a method for improving existing statistical machine translation methods using an knowledge-base compiled from a bilingual corpus as well as sequence alignment ...