Sciweavers

5447 search results - page 859 / 1090
» Environment-Mediated Mobile Computing
Sort
View
HRI
2010
ACM
16 years 1 months ago
Following directions using statistical machine translation
—Mobile robots that interact with humans in an intuitive way must be able to follow directions provided by humans in unconstrained natural language. In this work we investigate h...
Cynthia Matuszek, Dieter Fox, Karl Koscher
FOSSACS
2010
Springer
16 years 1 months ago
Forward Analysis of Depth-Bounded Processes
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
Thomas Wies, Damien Zufferey, Thomas A. Henzinger
169
Voted
ICC
2009
IEEE
135views Communications» more  ICC 2009»
16 years 1 months ago
On the Performance of OFDM in Zero-IF Receivers Impaired by Tx Leakage
—Transmitter Leakage has a significant impact on the system performance in mobile devices using zero-IF receivers. In this contribution, the statistical properties of the Tx Lea...
Andreas Frotzscher, Marco Krondorf, Gerhard Fettwe...
ICDAR
2009
IEEE
16 years 1 months ago
The Understanding and Structure Analyzing for Online Handwritten Chemical Formulas
In this paper, we propose a novel approach for understanding and analyzing the online handwritten chemical formulas. With the structural characteristics, semantic rules, and more ...
Xin Wang, Guangshun Shi, Jufeng Yang
WMCSA
2009
IEEE
16 years 1 months ago
We saw each other on the subway: secure, anonymous proximity-based missed connections
There is an inherent tension between the value provided by Location-Based Services (LBSs) and the location-privacy concerns they raise. Unfortunately, users are often forced to ei...
Justin Manweiler, Ryan Scudellari, Zachary Cancio,...