2273 search results - page 338 / 455 » On the Expressiveness and Complexity of ATL |
159
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
164
click to vote
AGI
2008
15 years 7 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
151
click to vote
BIOCOMP
2008
15 years 7 months ago
2008
We investigate how a nonlinear stress-strain relation (that leads to a stiffening of the brain matter under strain) influences the brain dynamics in traumatic situations. We numeri...
149
click to vote
DAGSTUHL
2010
15 years 7 months ago
2010
Computer support for intervention planning is a two-stage process: In a first stage, the relevant segmentation target structures are identified and delineated. In a second stage, ...
173
click to vote
BIS
2008
15 years 7 months ago
2008
The deep Web has many challenges to be solved. Among them is schema matching. In this paper, we build a conceptual connection between the schema matching problem SMP and the fuzzy ...