13376 search results - page 2205 / 2676 » Problem Solving with |
225
click to vote
FORMATS
2004
Springer
16 years 20 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
208
click to vote
GECCO
2004
Springer
16 years 20 days ago
2004
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees....
204
click to vote
PCM
2004
Springer
16 years 19 days ago
2004
Springer
We propose and describe a novel video capturing system called Sat-Cam that can observe and record the users’ activity from effective viewpoints to negate the effects of unstead...
120
click to vote
DATE
2003
IEEE
16 years 18 days ago
2003
IEEE
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
202
click to vote
ICDAR
2003
IEEE
16 years 17 days ago
2003
IEEE
Collinear arrangement of objects (such as, text elements or continuous lines) is integral part of any office document image, whether structured or unstructured. The ability to ana...