1356 search results - page 92 / 272 » A variable-free dynamic semantics |
JCIT
2007
14 years 10 months ago
2007
Our fundamental objective is to tackle the problem faced in the field of information retrieval and classification in the current era of information overflow by proposing better an...
FGCS
2002
14 years 9 months ago
2002
Initial versions of MPI were designed to work efficiently on multi-processors which had very little job control and thus static process models. Subsequently forcing them to suppor...
JOLLI
2002
14 years 9 months ago
2002
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
VL
2010
IEEE
14 years 8 months ago
2010
IEEE
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
123
click to vote
AMAST
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...