2226 search results - page 126 / 446 » Computable Analysis via Representations |
137
click to vote
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
124
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
138
click to vote
IPMI
2007
Springer
16 years 5 months ago
2007
Springer
This study evaluates a robust parametric modeling approach for computer-aided detection (CAD) of vertebrae column metastases in whole-body MRI. Our method involves constructing a m...
130
click to vote
SE
2007
15 years 6 months ago
2007
: One of the major tasks in maintaining software systems is understanding how specific effects came to be. This is especially true for effects that cause major harm, and especiall...
147
click to vote
IJCAI
2003
15 years 6 months ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...