2905 search results - page 390 / 581 » Formal Memetic Algorithms |
130
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
163
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
We address the problem of computing approximate answers to continuous sliding-window joins over data streams when the available memory may be insufficient to keep the entire join...
144
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the problem of computing the trajectory of a camera from sparse positional measurements that have been obtained from visual localisation, and dense differenti...
129
click to vote
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
152
click to vote
SIGMOD
2003
ACM
15 years 9 months ago
2003
ACM
Many web sites contain large sets of pages generated using a common template or layout. For example, Amazon lays out the author, title, comments, etc. in the same way in all its b...