1317 search results - page 156 / 264 » Fusions of Description Logics and Abstract Description Syste... |
186
click to vote
ISLPED
2005
ACM
16 years 1 days ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
192
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Ontology reasoning is an indispensable step to fully exploit the implicit semantics of Semantic Web data. The inherent distribution characteristic of the Semantic Web and...
160
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
183
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
181
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present a multiple targets classification system for visual concepts detection and image annotation. Multiple targets classification (MTC) is a variant ...