2629 search results - page 221 / 526 » Build a Computer from Scratch |
154
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— We present a novel approach to automatically extracting summary excerpts from audio and video. Our approach is to maximize the average similarity between the excerpt an...
178
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
226
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
162
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We are interested in building decision-support software for social welfare case managers. Our model in the form of a factored Markov decision process is so complex that a standard...
300
click to vote
AISB
2008
Springer
15 years 8 months ago
2008
Springer
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...