672 search results - page 109 / 135 » Property-aware program sampling |
EL
2008
13 years 7 months ago
2008
Research paper Purpose of this paper This paper describe an integrated hardware/software system based on Evolutionary Robotics and its application in Edutainment context. Design/me...
ENTCS
2006
13 years 7 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
ISM
2006
IEEE
13 years 7 months ago
2006
IEEE
We describe an automatic classroom capture system that detects and records significant (stable) points in lectures by sampling and analyzing a sequence of screen capture frames fr...
DISOPT
2007
13 years 7 months ago
2007
The class Max (r, 2)-CSP (or simply Max 2-CSP) consists of constraint satisfaction problems with at most two r-valued variables per clause. For instances with n variables and m bin...
JETAI
2006
13 years 7 months ago
2006
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...