Sciweavers

5170 search results - page 402 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
SIGMOD
2009
ACM
120views Database» more  SIGMOD 2009»
16 years 7 months ago
Query interactions in database workloads
Database workloads consist of mixes of queries that run concurrently and interact with each other. In this paper, we demonstrate that query interactions can have a significant imp...
Mumtaz Ahmad, Ashraf Aboulnaga, Shivnath Babu
DCC
2002
IEEE
16 years 6 months ago
Diagnostically Lossless 3D Wavelet Compression for Digital Angiogram Video
A novel method for the compression of angiogram video sequences is presented. The approach is based on the idea that not all of an angiogram image will de diagnostically significa...
David Gibson, Sandra I. Woolley, Michael Spann
TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
16 years 1 months ago
Computing the Leakage of Information-Hiding Systems
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
HYBRID
2010
Springer
16 years 1 months ago
Timed automata with observers under energy constraints
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Ni...
WEA
2010
Springer
338views Algorithms» more  WEA 2010»
16 years 1 months ago
New Lower Bounds for the Vehicle Routing Problem with Simultaneous Pickup and Delivery
Abstract. This work deals with the Vehicle Routing Problem with Simultaneous Pickup and Delivery. We propose undirected and directed two-commodity flow formulations, which are bas...
Anand Subramanian, Eduardo Uchoa, Luiz Satoru Ochi