Sciweavers

4767 search results - page 347 / 954
» Structures for Abstract Rewriting
Sort
View
SEMWEB
2007
Springer
16 years 24 days ago
An Architecture for Peer-to-peer Reasoning
Abstract. Similar to the current Web, the key to realizing the Semantic Web is scale. Arguably, to achieve this, we need a good balance between participation cost and perceived ben...
George Anadiotis, Spyros Kotoulas, Ronny Siebes
SOFSEM
2007
Springer
16 years 24 days ago
Multimedia Retrieval Algorithmics
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...
Remco C. Veltkamp
TLCA
2007
Springer
16 years 24 days ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan
UIC
2007
Springer
16 years 24 days ago
Mesh-Based Sensor Relocation for Coverage Maintenance in Mobile Sensor Networks
Abstract. Sensor relocation protocols can be employed as fault tolerance approach to offset the coverage loss caused by node failures. We introduce a novel localized structure, in...
Xu Li, Nicola Santoro, Ivan Stojmenovic
WAIM
2007
Springer
16 years 24 days ago
CoXML: A Cooperative XML Query Answering System
Abstract. The heterogeneity nature of XML data creates the need for approximate query answering. In this paper, we present an XML system that cooperates with users to provide user-...
Shaorong Liu, Wesley W. Chu