Sciweavers

2686 search results - page 274 / 538
» Parallel object monitors
Sort
View
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
15 years 11 months ago
Realtime segmentation of range data using continuous nearest neighbors
— In mobile robotics, the segmentation of range data is an important prerequisite to object recognition and environment understanding. This paper presents an algorithm for realti...
Klaas Klasing, Dirk Wollherr, Martin Buss
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 11 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ICC
2008
IEEE
117views Communications» more  ICC 2008»
15 years 11 months ago
Proactive Power Optimization of Sensor Networks
—We propose a reduced-complexity genetic algorithm for dynamic deployment of resource constrained multi-hop mobile sensor networks. The goal of this paper is to achieve optimal c...
Rahul Khanna, Huaping Liu, Hsiao-Hwa Chen
ICDE
2008
IEEE
164views Database» more  ICDE 2008»
15 years 11 months ago
Modelling traceability in the forestry wood supply chain
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...
Antti Sirkka
137
Voted
ICDM
2008
IEEE
112views Data Mining» more  ICDM 2008»
15 years 11 months ago
A Radar for the Internet
In contrast with most internet topology measurement research, our concern here is not to obtain a map as complete and precise as possible of the whole internet. Instead, we claim ...
Matthieu Latapy, Clémence Magnien, Fr&eacut...