2611 search results - page 316 / 523 » A Logic for Concepts and Similarity |
182
click to vote
ISCAS
2006
IEEE
16 years 18 days ago
2006
IEEE
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...
171
click to vote
ACISICIS
2005
IEEE
16 years 6 days ago
2005
IEEE
Uncertainty always exists as an unavoidable factor in any pervasive context-aware applications. This is mostly caused by the imperfectness and incompleteness of data. In this pape...
156
click to vote
ACSC
2005
IEEE
16 years 6 days ago
2005
IEEE
Segmentation is the first step in managing data for many information retrieval tasks. Automatic audio transcriptions and digital video footage are typically continuous data sourc...
142
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, two packing algorithms for the detection of activity profiles in MTCMOS-based FPGA structures are proposed for leakage power mitigation. The first algorithm is a ...
161
click to vote
IFM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...