1689 search results - page 83 / 338 » Registry-Based Support for Information Integration |
127
click to vote
MKM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
130
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
Existing approaches for optimizing queries in data integration use decoupled strategiesāattempting to optimize coverage and cost in two separate phases. Since sources tend to ha...
123
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we introduce NUBIA, a middleware that combines, through business rules, information generated by heterogeneous and autonomous systems. Communication between NUBIA and...
171
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
AbstractāThe pervasive computing vision consists in realizing ubiquitous technologies to support the execution of peopleās everyday tasks by proactively providing appropriate i...
149
click to vote
KBS
2006
15 years 4 months ago
2006
This paper presents a knowledge-intensive support paradigm for platform-based product family design and development. The fundamental issues underlying the product family design an...