Sciweavers

20294 search results - page 381 / 4059
» Algorithmic Information Theory
Sort
View
SCIE
1997
Springer
15 years 11 months ago
Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration
Abstract. The task of information extraction can be seen as a problem of semantic matching between a user-defined template and a piece of information written in natural language. T...
Nicola Guarino
CI
2004
76views more  CI 2004»
15 years 6 months ago
Negotiating Exchanges of P3p-Labeled Information for Compensation
We consider private information a commodity, of value to both the information holder and the information seeker. Hence, a customer can be enticed to trade his/her private informati...
Scott Buffett, Keping Jia, Sandy Liu, Bruce Spence...
EACL
2003
ACL Anthology
15 years 8 months ago
Combining Distributional and Morphological Information for Part of Speech Induction
In this paper we discuss algorithms for clustering words into classes from unlabelled text using unsupervised algorithms, based on distributional and morphological information. We...
Alexander Clark
KR
2004
Springer
16 years 7 days ago
A Logic of Motion
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
CAV
2006
Springer
128views Hardware» more  CAV 2006»
15 years 10 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi