15073 search results - page 83 / 3015 » Probabilistic algorithms for computing resultants |
116
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
109
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this work we aim to capitalize on the availability of Internet image search engines to automatically create image training sets from user provided queries. This problem is part...
129
click to vote
FOCS
2008
IEEE
15 years 9 months ago
2008
IEEE
Geographic Routing is a family of routing algorithms that uses geographic point locations as addresses for the purposes of routing. Such routing algorithms have proven to be both ...
134
click to vote
MOBIDE
2010
ACM
15 years 3 months ago
2010
ACM
Complex event detection over data streams has become ubiquitous through the widespread use of sensors, wireless connectivity and the wide variety of end-user mobile devices. Typic...
118
click to vote
FGR
2002
IEEE
15 years 8 months ago
2002
IEEE
Identification of people from gait captured on video has become a challenge problem in computer vision. However, there is not a baseline algorithm or standard dataset for measuri...