1950 search results - page 241 / 390 » Lambda-Free Logical Frameworks |
175
click to vote
SARA
2007
Springer
16 years 20 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
173
click to vote
WEBI
2007
Springer
16 years 20 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...
171
click to vote
CCGRID
2006
IEEE
16 years 19 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...
168
click to vote
DEXAW
2006
IEEE
16 years 19 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...
151
click to vote
ASPDAC
2006
ACM
16 years 16 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...