Sciweavers

2316 search results - page 301 / 464
» The many forms of hypercomputation
Sort
View
148
Voted
JSAT
2006
126views more  JSAT 2006»
15 years 5 months ago
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
Sylvie Coste-Marquis, Daniel Le Berre, Florian Let...
122
Voted
ENVSOFT
2007
97views more  ENVSOFT 2007»
15 years 5 months ago
Coupled human and natural systems: A multi-agent-based approach
A major force affecting many forest ecosystems is the encroachment of residential, commercial and industrial development. Analysis of the complex interactions between development ...
Michael Monticino, Miguel F. Acevedo, Baird Callic...
JUCS
2006
175views more  JUCS 2006»
15 years 5 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
MVA
2008
201views Computer Vision» more  MVA 2008»
15 years 5 months ago
How close are we to solving the problem of automated visual surveillance?
The problem of automated visual surveillance has spawned a lively research area, with 2005 seeing three conferences or workshops and special issues of two major journals devoted to...
Hannah M. Dee, Sergio A. Velastin
PR
2008
151views more  PR 2008»
15 years 5 months ago
Constraint Score: A new filter method for feature selection with pairwise constraints
Feature selection is an important preprocessing step in mining high-dimensional data. Generally, supervised feature selection methods with supervision information are superior to ...
Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou