3031 search results - page 346 / 607 » Model Driven Testing Based on Test History |
133
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
126
Voted
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable o...
122
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
We provide a general framework for learning precise, compact, and fast representations of the Bayesian predictive distribution for a model. This framework is based on minimizing t...
106
Voted
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we introduce an experimental approach to the design, analysis and implementation of market mechanisms based on double auction. We define a formal market model that ...
155
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...