413 search results - page 40 / 83 » BLID: An Application of Logical Information Systems to Bioin... |
PODS
2011
ACM
12 years 11 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
JNCA
2007
13 years 8 months ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...
IANDC
2006
13 years 9 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
LOPSTR
2005
Springer
14 years 2 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
VAMOS
2007
Springer
14 years 3 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...