Sciweavers

2050 search results - page 295 / 410
» constraints 2010
Sort
View
ICCBR
2010
Springer
14 years 29 days ago
Goal-Driven Autonomy with Case-Based Reasoning
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
Héctor Muñoz-Avila, Ulit Jaidee, Dav...
ICLP
2010
Springer
14 years 29 days ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
SP
2010
IEEE
222views Security Privacy» more  SP 2010»
14 years 28 days ago
A Symbolic Execution Framework for JavaScript
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng...
WCNC
2010
IEEE
14 years 28 days ago
The New Interference Alignment Scheme for the MIMO Interference Channel
—In this paper, we propose a new interference alignment (IA) scheme designing jointly the linear transmitter and receiver for the MIMO interference channel system, using minimum ...
Hui Shen, Bin Li, Meixia Tao, Yi Luo
GECCO
2010
Springer
214views Optimization» more  GECCO 2010»
14 years 21 days ago
Mixed-integer evolution strategy using multiobjective selection applied to warehouse design optimization
This paper reports about the application of a new variant of multiobjective Mixed-Integer Evolution Strategy to a warehouse design optimization problem. The algorithm is able to d...
Edgar Reehuis, Thomas Bäck