4266 search results - page 626 / 854 » A Framework for Defining Logics |
175
click to vote
WEBI
2007
Springer
16 years 23 days ago
2007
Springer
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
175
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
170
click to vote
DEXAW
2006
IEEE
16 years 21 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
154
click to vote
ASPDAC
2006
ACM
16 years 19 days ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
149
click to vote
ENC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...