Sciweavers

2702 search results - page 161 / 541
» constraints 2008
Sort
View
CDC
2008
IEEE
16 years 29 days ago
Hybrid control of a constrained velocity unicycle with local sensing
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
Apollo S. Oikonomopoulos, Savvas G. Loizou, Kostas...
CEC
2008
IEEE
16 years 29 days ago
EA-MP: An evolutionary algorithm for a mine planning problem
In this paper we introduce an evolutionary algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear integer p...
María-Cristina Riff, Teddy Alfaro, Xavier B...
DALT
2008
Springer
15 years 8 months ago
Strategic Agent Communication: An Argumentation-Driven Approach
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Mey...
ECMDAFA
2008
Springer
74views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
Annotation Framework Validation Using Domain Models
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
Carlos Noguera, Laurence Duchien
DATE
2008
IEEE
93views Hardware» more  DATE 2008»
16 years 29 days ago
A Fast Approximation Algorithm for MIN-ONE SAT
In this paper, we propose a novel approximation algorithm (RelaxSAT) for MIN-ONE SAT. RelaxSAT generates a set of constraints from the objective function to guide the search. The ...
Lei Fang, Michael S. Hsiao