4401 search results - page 675 / 881 » Computing with Default Logic |
167
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We present Propagation Networks (P-Nets), a novel approach for representing and recognizing sequential activities that include parallel streams of action. We represent each activi...
143
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Reliable detection of human activity is an unsolved problem. The main is that low resolution and the unconstrained nature of realistic environments and human behaviourmakeform cue...
238
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
123
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
152
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
In the paper, we propose a new metric for the minimization of area in the generic problem of multiple constant multiplications, and demonstrate its effectiveness for digital FIR f...