2291 search results - page 136 / 459 » Representational Reasoning and Verification |
ENTCS
2006
13 years 10 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
HCI
2011
13 years 1 months ago
2011
In this paper, a method for estimating the pen tip position of customized haptic device attachments is presented. Least squares sphere fitting is applied to the acquired point clou...
BMCBI
2006
13 years 10 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
AMAI
2006
Springer
13 years 10 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
ICCAD
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...