2138 search results - page 317 / 428 » Logical Step-Indexed Logical Relations |
167
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
115
click to vote
PVM
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
130
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
130
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
127
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
We are concerned with the extraction of tables from exchange format representations of very diverse composite documents. We put forward a flexible representation scheme for comple...