Sciweavers

867 search results - page 60 / 174
» On Two Forms of Structural Recursion
Sort
View
PODS
2006
ACM
88views Database» more  PODS 2006»
16 years 21 days ago
Structural characterizations of the semantics of XPath as navigation tool on a document
Given a document D in the form of an unordered labeled tree, we study the expressibility on D of various fragments of XPath, the core navigational language on XML documents. We gi...
Marc Gyssens, Jan Paredaens, Dirk Van Gucht, Georg...
114
Voted
CP
2007
Springer
15 years 6 months ago
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
Miquel Ramírez, Hector Geffner
95
Voted
ALIFE
2006
15 years 19 days ago
Genetic Stability and Territorial Structure Facilitate the Evolution of Tag-Mediated Altruism
Evolutionary theorists have long been interested in the conditions that permit the evolution of altruistic cooperation. Recent work has demonstrated that altruistic donation can ev...
Lee Spector, Jon Klein
TCSB
2010
14 years 11 months ago
Biomodel Engineering - From Structure to Behavior
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
Rainer Breitling, Robin Donaldson, David R. Gilber...
148
Voted
DEBU
2010
138views more  DEBU 2010»
14 years 10 months ago
A Rule-Based Citation System for Structured and Evolving Datasets
We consider the requirements that a citation system must fulfill in order to cite structured and evolving data sets. Such a system must take into account variable granularity, con...
Peter Buneman, Gianmaria Silvello