2451 search results - page 125 / 491 » The Octagon Abstract Domain |
175
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Creating and designing an ontology is a complex task requiring discussions between domain and ontology engineering experts as well as the users of an ontology. We present...
194
click to vote
WSC
2000
15 years 8 months ago
2000
Many artificial intelligence techniques rely on the notion ate" as an abstraction of the actual state of the nd an "operator" as an abstraction of the actions that ...
162
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: We introduce the snowblower problem (SBP), a new optimization problem that is closely related to milling problems and to some material-handling problems. The objective in...
146
click to vote
TVCG
2008
15 years 6 months ago
2008
Abstract--Providing appropriate methods to facilitate the analysis of time-oriented data is a key issue in many application domains. In this paper, we focus on the unique role of t...
190
click to vote
APLAS
2005
ACM
16 years 15 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...