Sciweavers

243 search results - page 41 / 49
» How to Solve It Automatically: Selection Among Problem Solvi...
Sort
View
ECAI
2010
Springer
13 years 8 months ago
On Testing Answer-Set Programs
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch...
TVCG
2010
166views more  TVCG 2010»
13 years 5 months ago
An Extension of Wilkinson's Algorithm for Positioning Tick Labels on Axes
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...
Justin Talbot, Sharon Lin, Pat Hanrahan
GECCO
2007
Springer
160views Optimization» more  GECCO 2007»
14 years 1 months ago
Hill climbing on discrete HIFF: exploring the role of DNA transposition in long-term artificial evolution
We show how a random mutation hill climber that does multilevel selection utilizes transposition to escape local optima on the discrete Hierarchical-If-And-Only-If (HIFF) problem....
Susan Khor
FGR
2008
IEEE
117views Biometrics» more  FGR 2008»
14 years 1 months ago
Complex human motion estimation using visibility
This paper presents a novel algorithm for estimating complex human motion from 3D video. We base our algorithm on a model-based approach which uses a complete surface mesh of a 3D...
Tomoyuki Mukasa, Arata Miyamoto, Shohei Nobuhara, ...
SARA
2007
Springer
14 years 1 months ago
Boosting MUS Extraction
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
Santiago Macho González, Pedro Meseguer