Sciweavers

9145 search results - page 297 / 1829
» Description Logic Systems
Sort
View
164
Voted
BMAS
2000
IEEE
15 years 12 months ago
On Accommodating Particular Analog System Models with VHDL
In this paper the problem of accommodating particular analog system models, with emphasis on interconnection's representation, with discrete event simulators, and particularl...
Gabriel Stefan Popescu
209
Voted
LATIN
2004
Springer
16 years 24 days ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz
193
Voted
3DIC
2009
IEEE
258views Hardware» more  3DIC 2009»
16 years 2 months ago
A capacitive coupling interface with high sensitivity for wireless wafer testing
—A high-sensitivity capacitive-coupling interface is presented for wireless wafer testing systems. The transmitter is a buffer that drives the transmitter pad, and the receiver c...
Gil-Su Kim, Makoto Takamiya, Takayasu Sakurai
197
Voted
ECSQARU
2007
Springer
16 years 1 months ago
Conceptual Uncertainty and Reasoning Tools
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
Bertil Rolf
186
Voted
ITC
2003
IEEE
143views Hardware» more  ITC 2003»
16 years 21 days ago
Designed -in-diagnostics: A new optical method
An in-circuit diagnostic test structure triggered by a light pulse captures logic states on-chip with picosecond timing accuracy, and the results read out via a scan chain thus pr...
Keneth R. Wilsher