1454 search results - page 184 / 291 » Learning and Extending Sublanguages |
133
click to vote
DAGM
2004
Springer
15 years 9 months ago
2004
Springer
The goal of our work is object categorization in real-world scenes. That is, given a novel image we want to recognize and localize unseen-before objects based on their similarity t...
148
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
104
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
The variable branching heuristics used in the most recent and most effective SAT solvers, including zChaff and BerkMin, can be viewed as consisting of a simple mechanism for rewa...
124
click to vote
SDMW
2004
Springer
15 years 9 months ago
2004
Springer
With the increasing use of web services, many new challenges concerning data security are becoming critical. Data or applications can now be outsourced to powerful remote servers, ...
131
click to vote
EH
2003
IEEE
15 years 9 months ago
2003
IEEE
In the present paper, single-opamp sinusoidal oscillators are synthesized using genetic algorithms. The motivation is to evolve new topologies of oscillators using different activ...