6355 search results - page 1079 / 1271 » From Logic to Games |
191
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
169
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
151
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
182
click to vote
LOPSTR
2007
Springer
16 years 21 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
179
click to vote
MTSR
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...