Sciweavers

14244 search results - page 654 / 2849
» Modeling Program Predictability
Sort
View
ICTAI
2010
IEEE
15 years 5 months ago
Continuous Search in Constraint Programming
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
Alejandro Arbelaez, Youssef Hamadi, Michèle...
FLAIRS
2009
15 years 4 months ago
Dynamic Programming Approximations for Partially Observable Stochastic Games
Partially observable stochastic games (POSGs) provide a rich mathematical framework for planning under uncertainty by a group of agents. However, this modeling advantage comes wit...
Akshat Kumar, Shlomo Zilberstein
EUROCAST
1994
Springer
139views Hardware» more  EUROCAST 1994»
15 years 11 months ago
Illustrating Constraint Programming Systems in Logistic Planning
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
Jean-Michel Thizy
166
Voted
ETRA
2006
ACM
114views Biometrics» more  ETRA 2006»
16 years 1 months ago
Causal saliency effects during natural vision
Salient stimuli, such as color or motion contrasts, attract human attention, thus providing a fast heuristic for focusing limited neural resources on behaviorally relevant sensory...
Ran Carmi, Laurent Itti
CC
2010
Springer
172views System Software» more  CC 2010»
16 years 1 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...