Sciweavers

4085 search results - page 637 / 817
» Data Services - From Data to Containers
Sort
View
LICS
2009
IEEE
15 years 10 months ago
Logics with Rank Operators
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...
Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Lau...
WWIC
2009
Springer
191views Communications» more  WWIC 2009»
15 years 10 months ago
Hop-to-Hop Reliability in IP-Based Wireless Sensor Networks - A Cross-Layer Approach
Abstract. To interconnect a wireless sensor network (WSN) to the Internet, we propose to use TCP/IP as the standard protocol for all network entities. We present a cross layer desi...
Gerald Wagenknecht, Markus Anwander, Torsten Braun
CIKM
2009
Springer
15 years 10 months ago
Generating synopses for document-element search
Scientists often search for document-elements like tables, figures, or algorithm pseudo-codes. Domain scientists and researchers report important data, results and algorithms usi...
Sumit Bhatia, Shibamouli Lahiri, Prasenjit Mitra
COSIT
2009
Springer
130views GIS» more  COSIT 2009»
15 years 10 months ago
Case-Based Reasoning for Eliciting the Evolution of Geospatial Objects
Abstract.Abstract.Abstract. This paper proposes an automated approach for describing how geospatial objects evolve. We consider geospatial objects whose boundaries and properties c...
Joice Seleme Mota, Gilberto Câmara, Maria Is...
RULEML
2009
Springer
15 years 10 months ago
Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das