Sciweavers

178 search results - page 27 / 36
» Unification of Fusion Theories
Sort
View
AGP
2010
IEEE
13 years 5 months ago
Concurrent and Reactive Constraint Programming
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
Maurizio Gabbrielli, Catuscia Palamidessi, Frank D...
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
14 years 1 months ago
Towards an Estimate of Confidence in a Road-Matched Location
- This paper describes a method that provides an estimated location of an outdoor vehicle relative to a digital road map using Belief Theory and Kalman filtering. Firstly, an Exten...
Maan E. El Najjar, Philippe Bonnifait
CIKM
2009
Springer
14 years 2 months ago
A signal-to-noise approach to score normalization
Score normalization is indispensable in distributed retrieval and fusion or meta-search where merging of result-lists is required. Distributional approaches to score normalization...
Avi T. Arampatzis, Jaap Kamps
ENTCS
2002
101views more  ENTCS 2002»
13 years 7 months ago
A categorical framework for typing CCS-style process communication
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
Ralf Schweimeier
TMC
2010
130views more  TMC 2010»
13 years 5 months ago
Efficient Coverage Maintenance Based on Probabilistic Distributed Detection
—Many wireless sensor networks require sufficient sensing coverage over long periods of time. To conserve energy, a coverage maintenance protocol achieves desired coverage by act...
Guoliang Xing, Xiangmao Chang, Chenyang Lu, Jianpi...