Sciweavers

ALGORITHMICA
2011
13 years 6 months ago
An Approximation Algorithm for Binary Searching in Trees
We consider the problem of computing efficient strategies for searching in trees. As a generalization of the classical binary search for ordered lists, suppose one wishes to find...
Eduardo Sany Laber, Marco Molinaro
ALGORITHMICA
2011
13 years 6 months ago
Approximation Algorithms for k-hurdle Problems
Brian C. Dean, Adam Griffis, Ojas Parekh, Adam A. ...
ALGORITHMICA
2011
13 years 6 months ago
On Dissemination Thresholds in Regular and Irregular Graph Classes
We investigate the natural situation of the dissemination of information on various graph classes starting with a random set of informed vertices called active. Initially active ve...
Ivan Rapaport, Karol Suchan, Ioan Todinca, Jacques...
AIEDAM
2011
13 years 6 months ago
Discovering implicit constraints in design
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
Madan Mohan Dabbeeru, Amitabha Mukerjee
AI
2011
Springer
13 years 6 months ago
Local closed world reasoning with description logics under the well-founded semantics
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
Matthias Knorr, José Júlio Alferes, ...
AI
2011
Springer
13 years 6 months ago
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...
Nikos Gorogiannis, Anthony Hunter
AI
2011
Springer
13 years 6 months ago
Hybrid tractability of valued constraint problems
Martin C. Cooper, Stanislav Zivny
AI
2011
Springer
13 years 6 months ago
On rules with existential variables: Walking the decidability line
Jean-François Baget, Michel Leclère,...