2451 search results - page 426 / 491 » The Octagon Abstract Domain |
138
Voted
CONSTRAINTS
2010
15 years 1 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
106
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we show how to efficiently and effectively extract a rich class of low-rank textures in a 3D scene from 2D images despite significant distortion and warpin...
139
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
139
Voted
IAT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Collaborating agents require either prior agreement on the shared vocabularies that they use for communication, or some means of translating between their private ontolog...
125
Voted
CORR
2010
Springer
15 years 11 days ago
2010
Springer
We develop an abstract model of information acquisition from redundant data. We assume a random sampling process from data which contain information with bias and are interested in...