759 search results - page 27 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
ADG
2006
Springer
15 years 1 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
The problem of deciding whether two pixels in an image have the same real world color is a fundamental problem in computer vision. Many color spaces are used in different applicat...
ENTCS
2002
14 years 9 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
JMLR
2010
14 years 4 months ago
2010
Estimating the error rates of classifiers or regression models is a fundamental task in machine learning which has thus far been studied exclusively using supervised learning tech...
TEI
2010
ACM
15 years 4 months ago
2010
ACM
We propose a novel ball-type input/output (I/O) device—the ChameleonBall—that allows users to interact with colors in the real world. The ChameleonBall mainly consists of mult...