4555 search results - page 536 / 911 » Deductive Algorithmic Knowledge |
144
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— A core challenge in probabilistic mapping is to extract meaningful uncertainty information from data registration methods. While this has been investigated in ICP-based...
161
click to vote
IJDMB
2010
15 years 4 months ago
2010
: Since we are limited in our knowledge of human demographic history and variations of recombination and mutation rates, large-scale computer simulation is a necessary tool in gene...
153
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
185
click to vote
JUCS
2010
15 years 4 months ago
2010
: The ever growing explosion in technological advancements is paving the way to the expansion of multimedia applications. Unfortunately, current multimedia applications use central...
138
click to vote
KES
2010
Springer
15 years 4 months ago
2010
Springer
ï€ Document clustering is a powerful technique that has been widely used for organizing data into smaller and manageable information kernels. Several approaches have been proposed...