Sciweavers

2563 search results - page 265 / 513
» Phenomenology, Representations and Complexity
Sort
View
192
Voted
ECSQARU
2009
Springer
16 years 2 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
Vasiliki Efstathiou, Anthony Hunter
GECCO
2009
Springer
121views Optimization» more  GECCO 2009»
16 years 2 months ago
Evolutionary algorithms and dynamic programming
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
Benjamin Doerr, Anton Eremeev, Christian Horoba, F...
ISVC
2009
Springer
16 years 2 months ago
Group Action Recognition Using Space-Time Interest Points
Group action recognition is a challenging task in computer vision due to the large complexity induced by multiple motion patterns. This paper aims at analyzing group actions in vid...
Qingdi Wei, Xiaoqin Zhang, Yu Kong, Weiming Hu, Ha...
PPDP
2009
Springer
16 years 2 months ago
A declarative encoding of telecommunications feature subscription in SAT
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
Michael Codish, Samir Genaim, Peter J. Stuckey
259
Voted
CIMCA
2008
IEEE
16 years 1 months ago
LGR: The New Genetic Based Scheduler for Grid Computing Systems
—The computational grid provides a promising platform for the deployment of various high-performance computing applications. In computational grid, an efficient scheduling of tas...
Leili Mohammad Khanli, Seyad Naser Razavi, Nima Ja...