75 search results - page 12 / 15 » Ownership: A case study in the representation of legal conce... |
FM
2001
Springer
14 years 1 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
COSIT
2005
Springer
14 years 2 months ago
2005
Springer
How can the usability of distributed and heterogeneous geographic data sets be enhanced? Semantic interoperability is a prerequisite for effectively finding and accessing relevant ...
PKDD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. People recently are interested in a new operator, called skyline [3], which returns the objects that are not dominated by any other objects with regard to certain measure...
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...