504 search results - page 71 / 101 » Definitional Reflection and the Completion |
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
ADBIS
2007
Springer
14 years 1 months ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
ROBOCUP
2007
Springer
14 years 1 months ago
2007
Springer
In this article we present an automatic on-line color calibration system that makes extensive use of the spatial relationships between color classes in the color space. First, we i...
ICW
2005
IEEE
14 years 1 months ago
2005
IEEE
The MPEG-4 standard includes support not only for natural video and audio, but also for synthetic graphics and sounds. In the MPEG-4 specifications, Body Animation Parameters (BAP...
AMAI
2004
Springer
14 years 29 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...