2302 search results - page 142 / 461 » Testing as Abstraction |
150
click to vote
CLEAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we present the findings of the Augmented Multiparty Interaction (AMI) project investigation on the localization and tracking of 2D head positions in meetin...
130
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Im...
183
click to vote
EUROGP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
170
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bucket elimination (BE) is an exact technique based on variable elimination, commonly used for solving constraint satisfaction problems. We consider the hybridization of ...
162
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We motivate and describe an analog evolvable hardware design platform named GRACE (i.e. Generative Robust Analog Circuit Exploration). GRACE combines coarse-grained, topo...