Sciweavers

7167 search results - page 345 / 1434
» Answer Set Programming
Sort
View
CORR
2011
Springer
144views Education» more  CORR 2011»
14 years 7 months ago
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Abstract. We consider the setting of ontological database access, where an Abox is given in form of a relational database D and where a Boolean conjunctive query q has to be evalua...
Georg Gottlob, Thomas Schwentick
CADE
2005
Springer
16 years 3 months ago
Tabling for Higher-Order Logic Programming
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
Brigitte Pientka
CEC
2009
IEEE
15 years 10 months ago
Evolutionary programming with ensemble of explicit memories for dynamic optimization
—This paper presents the evolutionary programming with an ensemble of memories to deal with optimization problems in dynamic environments. The proposed algorithm modifies a recen...
Ling Yu, Ponnuthurai N. Suganthan
WCRE
2008
IEEE
15 years 9 months ago
Workshop on Program Comprehension Through Dynamic Analysis (PCODA'08)
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
Andy Zaidman, Abdelwahab Hamou-Lhadj, Orla Greevy,...
124
Voted
ICRA
2007
IEEE
127views Robotics» more  ICRA 2007»
15 years 9 months ago
A Dynamic Programming Approach to Redundancy Resolution with Multiple Criteria
— This paper addresses the problem of generating optimal joint trajectories for redundant manipulators when multiple criteria are to be considered. A dynamic programming approach...
A. Guigue, Mojtaba Ahmadi, M. J. D. Hayes, R. Lang...