923 search results - page 87 / 185 » On the Computation of Relational View Complements |
168
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
204
click to vote
CMSB
2007
Springer
16 years 13 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
214
click to vote
DIM
2006
ACM
16 years 7 days ago
2006
ACM
An emerging approach to the problem of reducing the identity theft is represented by the adoption of biometric authentication systems. Such systems however present however several...
185
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
165
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Phylogenetic relationships between genes are not only of theoretical interest: they enable us to learn about human genes through the experimental work on their relativ...