1743 search results - page 233 / 349 » Generalized Modal Satisfiability |
151
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
In many visual tracking and surveillance systems, it is important to initialize a background model using a training video sequence which may include foreground objects. In such a c...
149
click to vote
JCDL
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
124
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
Many searches on the web have a transactional intent. We argue that pages satisfying transactional needs can be distinguished from the more common pages that have some information...
128
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Nested loops are the most critical sections in many scientific and Digital Signal Processing (DSP) applications. It is important to study effective and efficient transformation ...
146
Voted
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...