Sciweavers

2314 search results - page 208 / 463
» Monoids over domains
Sort
View
PADL
2004
Springer
16 years 22 hour ago
An Implementation of Session Types
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
Matthias Neubauer, Peter Thiemann
ROBOCUP
2004
Springer
117views Robotics» more  ROBOCUP 2004»
16 years 19 hour ago
Map-Based Multiple Model Tracking of a Moving Object
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
Cody C. T. Kwok, Dieter Fox
WEBDB
2004
Springer
202views Database» more  WEBDB 2004»
16 years 13 hour ago
Mining Approximate Functional Dependencies and Concept Similarities to Answer Imprecise Queries
Current approaches for answering queries with imprecise constraints require users to provide distance metrics and importance measures for attributes of interest. In this paper we ...
Ullas Nambiar, Subbarao Kambhampati
WEBDB
2004
Springer
99views Database» more  WEBDB 2004»
16 years 13 hour ago
Semantic Multicast for Content-based Stream Dissemination
We consider the problem of content-based routing and dissemination of highly-distributed, fast data streams from multiple sources to multiple receivers. Our target application dom...
Olga Papaemmanouil, Ugur Çetintemel
DASFAA
2003
IEEE
106views Database» more  DASFAA 2003»
15 years 12 months ago
Discovering Direct and Indirect Matches for Schema Elements
Automating schema matching is challenging. Previous approaches (e.g. [MBR01, DDH01]) to automating schema matching focus on computing direct element matches between two schemas. S...
Li Xu, David W. Embley