3820 search results - page 156 / 764 » Bounded Model Debugging |
124
click to vote
ISTA
2008
15 years 4 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
162
click to vote
NFM
2011
14 years 9 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
152
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
The bounding box representation employed by many popular object detection models [3, 6] implicitly assumes all pixels inside the box belong to the object. This assumption makes th...
118
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
ALT
1998
Springer
15 years 7 months ago
1998
Springer
Concept drift means that the concept about which data is obtained may shift from time to time, each time after some minimum permanence. Except for this minimum permanence, the con...