2451 search results - page 37 / 491 » The Octagon Abstract Domain |
152
click to vote
COSIT
2007
Springer
15 years 9 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...
121
click to vote
EUROPLOP
2006
15 years 7 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...
161
click to vote
JSCIC
2010
15 years 9 days ago
2010
Abstract In this paper, Radial Basis Function (RBF) method for interpolating two dimensional functions with localized features defined on irregular domain is presented. RBF points ...
138
click to vote
ICWE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The massive amount of textual data on the Web raises numerous classification problems. Although the notion of domain is widely acknowledged in the IR field, the applica...
161
click to vote
CAV
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...