Sciweavers

1174 search results - page 8 / 235
» Optimizing generics is easy!
Sort
View
ICLP
2007
Springer
14 years 4 months ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
MPC
2004
Springer
109views Mathematics» more  MPC 2004»
14 years 3 months ago
Optimizing Generic Functions
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
Artem Alimarine, Sjaak Smetsers
ICTAI
2007
IEEE
14 years 4 months ago
Ant Colony Optimization for Multi-Objective Optimization Problems
We propose in this paper a generic algorithm based on Ant Colony Optimization to solve multi-objective optimization problems. The proposed algorithm is parameterized by the number...
Inès Alaya, Christine Solnon, Khaled Gh&eac...
ECCV
2008
Springer
14 years 11 months ago
Interactive Tracking of 2D Generic Objects with Spacetime Optimization
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
Xiaolin K. Wei, Jinxiang Chai
ICFP
2008
ACM
14 years 9 months ago
Write it recursively: a generic framework for optimal path queries
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
Akimasa Morihata, Kiminori Matsuzaki, Masato Takei...