1984 search results - page 191 / 397 » The colourful feasibility problem |
187
click to vote
BIRTHDAY
2005
Springer
16 years 2 days ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
167
click to vote
CCIA
2005
Springer
16 years 1 days ago
2005
Springer
— This paper proposes a high-level Reinforcement Learning (RL) control system for solving the action selection problem of an autonomous robot. Although the dominant approach, whe...
160
click to vote
DAWAK
2005
Springer
16 years 1 days ago
2005
Springer
To preserve private information while providing thorough analysis is one of the significant issues in OLAP systems. One of the challenges in it is to prevent inferring the sensitiv...
155
click to vote
EUC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...
166
click to vote
FIMH
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this article we study the problem of estimating the parameters of a 2-D electrophysiological model of the heart from a set of temporal recordings of extracellular pote...