1638 search results - page 197 / 328 » A General Semantics for Evaluation Logic |
159
click to vote
WEBDB
2004
Springer
15 years 11 months ago
2004
Springer
On the Web, there is a pervasive use of XML to give lightweight semantics to textual collections. Such documentcentric XML collections require a query language that can gracefully...
164
click to vote
TCSV
2008
15 years 6 months ago
2008
The characterization of a video segment by a digital signature is a fundamental task in video processing. It is necessary for video indexing and retrieval, copyright protection and...
303
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
179
click to vote
ATAL
2005
Springer
16 years 2 hour ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
202
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...