3146 search results - page 130 / 630 » Efficient Consequence Finding |
112
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Background subtraction is a popular algorithm for video object segmentation. It identifies foreground objects by comparing the input images with a pure background image. In camera...
145
Voted
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
137
click to vote
PODS
2002
ACM
16 years 5 months ago
2002
ACM
Decision support system users typically submit batches of range-sum queries simultaneously rather than issuing individual, unrelated queries. We propose a wavelet based technique ...
138
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
This paper analyzes the complexity of problems from class field theory. Class field theory can be used to show the existence of infinite families of number fields with constant ro...
151
click to vote
DSD
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...