Sciweavers

9873 search results - page 344 / 1975
» Emergent Semantics Systems
Sort
View
SIGMOD
1995
ACM
88views Database» more  SIGMOD 1995»
15 years 10 months ago
Semantic Assumptions and Query Evaluation in Temporal Databases
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: po...
Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino...
COLING
2008
15 years 8 months ago
The Effect of Syntactic Representation on Semantic Role Labeling
Almost all automatic semantic role labeling (SRL) systems rely on a preliminary parsing step that derives a syntactic structure from the sentence being analyzed. This makes the ch...
Richard Johansson, Pierre Nugues
IJAR
2007
86views more  IJAR 2007»
15 years 6 months ago
Non-deterministic semantics for logics with a consistency operator
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
Arnon Avron
VMCAI
2012
Springer
14 years 2 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
ICSE
2008
IEEE-ACM
16 years 7 months ago
Time-bounded adaptation for automotive system software
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...
Aline Senart, Douglas C. Schmidt, Serena Fritsch, ...