Sciweavers

2696 search results - page 362 / 540
» Semantic Abstraction and Anaphora
Sort
View
AMEC
2004
Springer
15 years 12 months ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
Loizos Michael, David C. Parkes, Avi Pfeffer
CIS
2004
Springer
15 years 12 months ago
A Method of Acquiring Ontology Information from Web Documents
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...
Lixin Han, Guihai Chen, Li Xie
CIVR
2004
Springer
166views Image Analysis» more  CIVR 2004»
15 years 12 months ago
Object Segmentation and Ontologies for MPEG-2 Video Indexing and Retrieval
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...
Vasileios Mezaris, Michael G. Strintzis
ERCIMDL
2004
Springer
116views Education» more  ERCIMDL 2004»
15 years 12 months ago
Towards a Policy Language for Humans and Computers
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...
Vicky Weissman, Carl Lagoze
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 12 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...