38 search results - page 5 / 8 » Keys, Nominals, and Concrete Domains |
APWEB
2009
Springer
13 years 10 months ago
2009
Springer
We present a new method to evaluate a search ontology, which relies on mapping ontology instances to textual documents. On the basis of this mapping, we evaluate the adequacy of on...
PROMAS
2004
Springer
14 years 1 days ago
2004
Springer
Distributed partially observable Markov decision problems (POMDPs) have emerged as a popular decision-theoretic approach for planning for multiagent teams, where it is imperative f...
FOSSACS
2010
Springer
14 years 1 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
AOSE
2005
Springer
14 years 7 days ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
JAIR
2007
13 years 6 months ago
2007
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...