Sciweavers

38 search results - page 4 / 8
» Task-dependent qualitative domain abstraction
Sort
View
ECAI
2008
Springer
13 years 9 months ago
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
SEMWEB
2010
Springer
13 years 5 months ago
Semantic Techniques for Enabling Knowledge Reuse in Conceptual Modelling
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
Jorge Gracia del Río, Jochem Liem, Esther L...
FOMI
2009
13 years 5 months ago
Modular Ontologies for Architectural Design
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
Joana Hois, Mehul Bhatt, Oliver Kutz
LSSC
2007
Springer
14 years 1 months ago
MIC(0) DD Preconditioning of FEM Elasticity Systems on Unstructured Tetrahedral Grids
Abstract. In this study, the topics of grid generation and FEM applications are studied together following their natural synergy. We consider the following three grid generators: N...
Nikola Kosturski
IANDC
2006
78views more  IANDC 2006»
13 years 7 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini