3527 search results - page 297 / 706 » Test Automation in Practice |
153
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The automated detection and tracking of humans in computer vision necessitates improved modeling of the human skin appearance. In this paper we propose a Bayesian network approach...
142
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
131
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
152
click to vote
IPPS
2009
IEEE
16 years 21 days ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...
170
Voted
ICCBR
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Ambient intelligent systems are defined as being able to perceive their environment, being aware of the presence of people and other agents, and respond intelligently to...