2451 search results - page 426 / 491 » The Octagon Abstract Domain |
110
Voted
CONSTRAINTS
2010
14 years 10 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 ...
86
Voted
CORR
2010
Springer
14 years 10 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...
109
Voted
CORR
2010
Springer
14 years 10 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...
110
Voted
IAT
2010
IEEE
14 years 10 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...
104
Voted
CORR
2010
Springer
14 years 9 months 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...