Sciweavers

490 search results - page 5 / 98
» Accuracy of Techniques for the Logical Analysis of Data
Sort
View
SCP
1998
138views more  SCP 1998»
13 years 7 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara
DATE
2006
IEEE
120views Hardware» more  DATE 2006»
14 years 1 months ago
Soft delay error analysis in logic circuits
— In this paper, we present an analysis methodology to compute circuit node sensitivity due to charged particle induced delay (timing) errors, Soft Delay Errors (SDE). We define...
Balkaran S. Gill, Christos A. Papachristou, Franci...
FUZZIEEE
2007
IEEE
13 years 11 months ago
Evolving Single- and Multi-Model Fuzzy Classifiers with FLEXFIS-Class
Abstract-- In this paper a new method for training singlemodel and multi-model fuzzy classifiers incrementally and adaptively is proposed, which is called FLEXFIS-Class. The evolvi...
Edwin Lughofer, Plamen P. Angelov, Xiaowei Zhou
ICASSP
2008
IEEE
14 years 1 months ago
Performance analysis of the cepstral technique for frequency-domain optical-coherence tomography
Recently, we proposed a noniterative cepstral technique for exact signal recovery in frequency-domain optical-coherence tomography. In this paper, we address the influence of mea...
S. Chandra Sekhar, Michael Unser
DLOG
2000
13 years 8 months ago
Optimizing TBox and ABox Reasoning with Pseudo Models
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
Volker Haarslev, Ralf Möller