8141 search results - page 268 / 1629 » Higher Order Generalization |
183
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via...
138
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a first order analog-to-digital converter with time-variant window. If a DC input is applied, the converter outputs a binary sequence until the internal state enters i...
144
click to vote
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we discuss the kinds of ambiguities a heuristic encounters during the process of user session reconstruction. Some criteria are introduced to measure these ambiguiti...
157
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...
173
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...