2478 search results - page 34 / 496 » Quadtrees as an Abstract Domain |
RULEML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. When developing situation awareness applications we begin by constructing an OWL ontology to capture a language of discourse for the domain of interest. Such an ontology,...
JSS
2007
13 years 7 months ago
2007
A consequence of the growing number of empirical studies in software engineering is the need to adopt systematic approaches to assessing and aggregating research outcomes in order...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
COSIT
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We present a methodology of how to use a top-level ontology to create a domain ontology from existing scientific texts by (1) identifying informal definitions of domain-s...
EUROPLOP
2006
13 years 9 months ago
2006
We present a set of methods to enable a cross-domain reuse of problem solutions via analysis patterns. First, problem-context descriptions and problemcontext models as well as sol...