3931 search results - page 748 / 787 » Separation logic and abstraction |
ASWC
2008
Springer
14 years 26 days ago
2008
Springer
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...
DAWAK
2005
Springer
14 years 24 days ago
2005
Springer
Abstract. Data mining is an iterative process. Users issue series of similar data mining queries, in each consecutive run slightly modifying either the definition of the mined dat...
CONCUR
2008
Springer
14 years 19 days ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
DAGSTUHL
2007
14 years 9 days ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
RSS
2007
14 years 8 days ago
2007
Abstract— This paper presents the Discrete Search Leading continuous eXploration (DSLX) planner, a multi-resolution approach to motion planning that is suitable for challenging p...