2909 search results - page 49 / 582 » Consistency of the theory of contexts |
ACL
1990
15 years 3 months ago
1990
This paper proposes a set of representations for tenses and a set of constraints on how they can be combined in adjunct clauses. The semantics we propose explains the possible mea...
FAC
2006
15 years 2 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
110
click to vote
EJC
2003
15 years 3 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
107
click to vote
QI
2009
Springer
15 years 8 months ago
2009
Springer
Information Retrieval (IR) systems try to identify documents relevant to user queries, which are representations of user information needs. Interaction, context, and document struc...
122
click to vote
DLT
2003
15 years 3 months ago
2003
In recent years generalized acceptance criteria for different nondeterministic computation models have been examined. Instead of the common definition where an input word is said...