2268 search results - page 254 / 454 » The Essence of Form Abstraction |
118
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Clio project provides tools that vastly simplify information integration. Information integration requires data conversions to bring data in different representation...
99
Voted
ICDCN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Much of the data consumed today is dynamic, typically gathered from distributed sources including sensors, and used in real-time monitoring and decision making applicatio...
113
click to vote
PAKDD
2009
ACM
15 years 8 months ago
2009
ACM
Abstract. Clustering high dimensional data with sparse features is challenging because pairwise distances between data items are not informative in high dimensional space. To addre...
127
click to vote
PAKDD
2009
ACM
15 years 8 months ago
2009
ACM
Abstract. Newistic is a web mining platform that collects and analyses documents crawled from the Internet. Although it currently processes news articles, it can be easily adapted ...
102
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...