Sciweavers

2115 search results - page 71 / 423
» Semantic structure from motion
Sort
View
APLAS
2006
ACM
15 years 11 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
ACL
2003
15 years 7 months ago
A Ranking Model of Proximal and Structural Text Retrieval Based on Region Algebra
This paper investigates an application of the ranked region algebra to information retrieval from large scale but unannotated documents. We automatically annotated documents with ...
Katsuya Masuda
155
Voted
POLICY
2005
Springer
15 years 11 months ago
Deriving Semantic Models from Privacy Policies
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
Travis D. Breaux, Annie I. Antón
LREC
2008
115views Education» more  LREC 2008»
15 years 7 months ago
Extracting Lexical Semantic Knowledge from Wikipedia and Wiktionary
Recently, collaboratively constructed resources such as Wikipedia and Wiktionary have been discovered as valuable lexical semantic knowledge bases with a high potential in diverse...
Torsten Zesch, Christof Müller, Iryna Gurevyc...
LICS
2009
IEEE
16 years 7 days ago
The Structure of First-Order Causality
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
Samuel Mimram