2810 search results - page 429 / 562 » Contract-Based Component System Design |
178
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
DAWAK
2006
Springer
15 years 2 months ago
2006
Springer
Healthcare organizations practicing evidence-based medicine strive to unite their data resources in order to achieve a wider knowledge base for sophisticated research and matured d...
LREC
2010
15 years 21 days ago
2010
Audiovisual speech recognition (AVSR) systems have been proven superior over audio-only speech recognizers in noisy environments by incorporating features of the visual modality. ...
AEI
2002
14 years 11 months ago
2002
Functionality of artifacts as well as structure and behavior plays crucial roles in problem-solving such as design. This article discusses automatic identifications of functional s...
ENVSOFT
2000
14 years 11 months ago
2000
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...