Sciweavers

2478 search results - page 109 / 496
» Quadtrees as an Abstract Domain
Sort
View
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
14 years 2 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
CAISE
2005
Springer
14 years 1 months ago
Capability Matching and Similarity Reasoning in Service Discovery
Abstract. Ontologies play a relevant role to support service matchmaking in the discovery process. In fact, the elements used for service capability description refer to concepts t...
Devis Bianchini, Valeria De Antonellis, Michele Me...
ILP
2004
Springer
14 years 1 months ago
Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
Mark Goadrich, Louis Oliphant, Jude W. Shavlik
ER
2009
Springer
137views Database» more  ER 2009»
14 years 23 days ago
Multi-level Conceptual Modeling and OWL
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
Bernd Neumayr, Michael Schrefl
EGICE
2006
13 years 11 months ago
Bio-inspiration: Learning Creative Design Principia
Reusing or modifying known design concepts cannot meet new challenges for engineering systems. However, engineers can find inspiration outside their traditional domains in order to...
Tomasz Arciszewski, Joanna Cornell