2776 search results - page 378 / 556 » System-Level Abstraction Semantics |
157
click to vote
CIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ontology plays an important role on the Semantic Web. In this paper, we propose a method, AOIWD, of acquiring ontology information from Web documents. The AOIWD method em...
198
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A novel approach to object-based video indexing and retrieval is presented, employing an object segmentation algorithm for the real-time, unsupervised segmentation of com...
158
click to vote
ERCIMDL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
173
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
158
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...