9730 search results - page 208 / 1946 » Relating models of backtracking |
135
click to vote
IJCAI
2007
15 years 5 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
118
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Nowadays, due to the growing development of eGovernment information systems, there is an increasing need to handle Public Sector Information (PSI) in a homogeneous way. Ontologies ...
127
click to vote
KRMED
2004
15 years 5 months ago
2004
The need for a sharable resource that can provide deep anatomical knowledge and support inference for biomedical applications has recently been the driving force in the creation o...
138
click to vote
IOR
2006
15 years 4 months ago
2006
This paper studies the M/M/s+M queue, i.e., the M/M/s queue with customer abandonment, also called the Erlang-A model, having independent and identically distributed customer aban...
152
click to vote
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...