811 search results - page 115 / 163 » Integrating Formal Description Techniques |
125
click to vote
ICCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...
108
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
107
click to vote
SEMCO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Techniques for automatic annotation of spoken content making use of speech recognition technology have long been characterized as holding unrealized promise to provide access to...
SAFECOMP
2001
Springer
15 years 4 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
ISLPED
1995
ACM
15 years 3 months ago
1995
ACM
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL . Such a high-level power estimation capability is r...