1792 search results - page 234 / 359 » e-Participation and Decision Analysis |
SAT
2009
Springer
15 years 3 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
AIIA
2001
Springer
15 years 3 months ago
2001
Springer
This paper presents a novel method for wide coverage parsing using an incremental strategy, which is psycholinguistically motivated. A recursive neural network is trained on treeba...
120
click to vote
COLT
2001
Springer
15 years 3 months ago
2001
Springer
We prove strong noise-tolerance properties of a potential-based boosting algorithm, similar to MadaBoost (Domingo and Watanabe, 2000) and SmoothBoost (Servedio, 2003). Our analysi...
ICALP
2001
Springer
15 years 3 months ago
2001
Springer
We prove a lower bound of (n4/3 log1/3 n) on the randomized decision tree complexity of any nontrivial monotone n-vertex graph property, and of any nontrivial monotone bipartite g...
INFOVIS
2000
IEEE
15 years 3 months ago
2000
IEEE
Most work with geospatial data, whether for scientific analysis, urban and environmental planning, or business decision making is carried out by groups. In contrast, geographic vi...