2478 search results - page 236 / 496 » Quadtrees as an Abstract Domain |
141
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— Hierarchical design plays an important role in microprocessor and ASIC domains where design complexity limits design productivity and tool capacity. Slack distribution,...
173
click to vote
LICS
2005
IEEE
16 years 7 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 6 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...
219
click to vote
CIVR
2005
Springer
16 years 6 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 6 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...