2291 search results - page 170 / 459 » Representational Reasoning and Verification |
193
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
191
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
157
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- In this paper, we present a hardware-software cosimulation environment for heterogeneoussystems. To be an efficient system verification environment for the rapid prototyping of h...
168
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Knowledge representation (KR) is used to store and retrieve meaningful data. This data is saved using dynamic data structures that are suitable for the style of KR being implemente...
187
click to vote
AAAI
1996
15 years 7 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...