50 search results - page 4 / 10 » Extensional and Intensional Strategies |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
The terms architecture, design, and implementation are typically used informally in partitioning software specificato three coarse strata of abstraction. Yet these strata are not ...
AAAI
2000
14 years 11 months ago
2000
Expert decision-makers often explain decisions by citing general principles. In some domains, however, it is nearly impossible to define principles intensionally so that they may ...
SEBD
2007
14 years 11 months ago
2007
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...
CIE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Our work deals with schema or ontology matching and is driven by the following statements: (1) Most of works only consider intensional description of schemas; (2) They mostly use s...