927 search results - page 55 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
112
click to vote
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
99
Voted
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...
117
Voted
ML
2010
ACM
14 years 11 months ago
2010
ACM
Abstract A dynamic programming algorithm for constructing optimal dyadic decision trees was recently introduced, analyzed, and shown to be very effective for low dimensional data ...
93
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
117
click to vote
PAKDD
2009
ACM
15 years 7 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 ...