Sciweavers

2268 search results - page 267 / 454
» Semantic Integration
Sort
View
138
Voted
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
15 years 9 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
JACM
2010
137views more  JACM 2010»
15 years 2 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati
DAWAK
2006
Springer
15 years 7 months ago
Learning Classifiers from Distributed, Ontology-Extended Data Sources
Abstract. There is an urgent need for sound approaches to integrative and collaborative analysis of large, autonomous (and hence, inevitably semantically heterogeneous) data source...
Doina Caragea, Jun Zhang 0002, Jyotishman Pathak, ...
APCCM
2009
15 years 5 months ago
Conceptual Business Document Modeling using UN/CEFACT's Core Components
Before two businesses can engage in a business-tobusiness process an agreement about the process execution order and the business documents exchanged in the collaborative process ...
Philipp Liegl
CVPR
2007
IEEE
16 years 5 months ago
A Topic-Motion Model for Unsupervised Video Object Discovery
The bag-of-words representation has attracted a lot of attention recently in the field of object recognition. Based on the bag-of-words representation, topic models such as Probab...
David Liu, Tsuhan Chen