2448 search results - page 247 / 490 » The Octahedron Abstract Domain |
171
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
174
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
217
click to vote
CIVR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
173
click to vote
CLEF
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
157
Voted
CP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The sub-optimality approximation problem considers an optimization problem O, its optimal solution σ∗ , and a variable x with domain {d1, . . . , dm} and returns appro...