10568 search results - page 281 / 2114 » Computer Intelligence and Formalization |
156
Voted
IJACTAICIT
2010
15 years 23 days ago
2010
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
126
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
113
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
126
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
118
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
Traditionally, adaptability in communication frameworks has been restricted to predefined choices without taking into consideration tradeoffs between them and the application req...