9730 search results - page 1602 / 1946 » Relating models of backtracking |
187
click to vote
CAISE
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
148
click to vote
CEAS
2005
Springer
16 years 8 days 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...
154
click to vote
CEEMAS
2005
Springer
16 years 8 days 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...
170
click to vote
CHARME
2005
Springer
16 years 8 days 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...
165
click to vote
COCOON
2005
Springer
16 years 8 days 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 ...