13026 search results - page 2274 / 2606 » Probabilistic Relational Models |
124
click to vote
CEAS
2005
Springer
15 years 10 months ago
2005
Springer
Email is an increasingly important and ubiquitous means of communication, both facilitating contact between individuals and enabling rises in the productivity of organizations. Ho...
129
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
141
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
133
Voted
COCOON
2005
Springer
15 years 10 months ago
2005
Springer
In computational biology, gene order data is often modelled as signed permutations. A classical problem in genome comparison is to detect conserved segments in a permutation, that ...
116
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...