Sciweavers

917 search results - page 38 / 184
» On the Semantics of Updates in a Functional Language
Sort
View
EACL
1993
ACL Anthology
13 years 9 months ago
LFG Semantics via Constraints
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
Mary Dalrymple, John Lamping, Vijay A. Saraswat
TDSC
2010
172views more  TDSC 2010»
13 years 2 months ago
Proactive Detection of Computer Worms Using Model Checking
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
Johannes Kinder, Stefan Katzenbeisser, Christian S...
NLDB
2004
Springer
14 years 1 months ago
On Embedding Machine-Processable Semantics into Documents
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
Krishnaprasad Thirunarayan
VLDB
1991
ACM
171views Database» more  VLDB 1991»
13 years 11 months ago
Language Constructs for Programming Active Databases
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
Richard Hull, Dean Jacobs
ER
1995
Springer
120views Database» more  ER 1995»
13 years 11 months ago
Semantics of Time-Varying Attributes and their Use for Temporal Database Design
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
Christian S. Jensen, Richard T. Snodgrass