917 search results - page 90 / 184 » On the Semantics of Updates in a Functional Language |
108
click to vote
RULEML
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
200
click to vote
POPL
2006
ACM
16 years 6 days ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
SKG
2005
IEEE
15 years 5 months ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...
COGSCI
2008
15 years 2 hour ago
2008
What aspects of spatial relations influence speakers' choice of locative? This article presents a study of static spatial descriptions from 24 languages. The study reveals tw...
NAACL
1994
15 years 1 months ago
1994
In this paper, we propose a new stochastic language model that integrates local and global constraints effectively and describe a speechrecognition system basedon it. Theproposedl...