Sciweavers

3305 search results - page 202 / 661
» Can we Rely on SQL
Sort
View
ICRA
2002
IEEE
147views Robotics» more  ICRA 2002»
14 years 3 months ago
Exploiting Physical Dynamics for Concurrent Control of a Mobile Robot
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
Brian P. Gerkey, Maja J. Mataric, Gaurav S. Sukhat...
CONCUR
2006
Springer
14 years 2 months ago
Controller Synthesis for MTL Specifications
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
NETWORKING
2007
14 years 6 days ago
Privacy-Aware Multi-Context RFID Infrastructure Using Public Key Cryptography
We propose a novel approach in designing an RFID infrastructure which foresees the usage of a single RFID tag within different contexts and for multiple purposes. We regard privacy...
Selim Volkan Kaya, Erkay Savas, Albert Levi, Ö...
SIGCOMM
2005
ACM
14 years 4 months ago
On the predictability of large transfer TCP throughput
Predicting the throughput of large TCP transfers is important for a broad class of applications. This paper focuses on the design, empirical evaluation, and analysis of TCP throug...
Qi He, Constantinos Dovrolis, Mostafa H. Ammar
ICCV
2009
IEEE
15 years 3 months ago
Estimating Natural Illumination from a Single Outdoor Image
Given a single outdoor image, we present a method for estimating the likely illumination conditions of the scene. In particular, we compute the probability distribution over the su...
Jean-François Lalonde, Alexei A. Efros, Srinivasa...