Sciweavers

1407 search results - page 220 / 282
» Sponsored Search with Contexts
Sort
View
ISMIS
1997
Springer
14 years 1 months ago
Knowledge-Based Image Retrieval with Spatial and Temporal Constructs
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
Wesley W. Chu, Alfonso F. Cardenas, Ricky K. Taira
CICLING
2007
Springer
14 years 1 months ago
Rule-Based Protein Term Identification with Help from Automatic Species Tagging
In biomedical articles, terms often refer to different protein entities. For example, an arbitrary occurrence of term p53 might denote thousands of proteins across a number of spec...
Xinglong Wang
DSN
2007
IEEE
14 years 1 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
ELPUB
2007
ACM
14 years 1 months ago
Towards a Semantic Turn in Rich-Media Analysis
Typical application scenarios in the area of rich-media management, such as the continuous digitisation of the media production processes, the search and retrieval tasks in a grow...
Tobias Bürger, Georg Güntner
ESWS
2007
Springer
14 years 1 months ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller