2612 search results - page 382 / 523 » Mobile Processes and Termination |
137
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
121
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In the EMIME project, we are developing a mobile device that performs personalized speech-to-speech translation such that a user’s spoken input in one language is used to produc...
144
click to vote
IJRR
2008
15 years 4 months ago
2008
Automatically building maps from sensor data is a necessary and fundamental skill for mobile robots; as a result, considerable research attention has focused on the technical chall...
135
click to vote
BMVC
2010
15 years 2 months ago
2010
Smarter phones have made handheld computer vision a reality, but limited bandwidth, storage space and processing power prevent mobile phones from leveraging the full body of exist...
109
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a new descriptor and feature matching solution for omnidirectional images. The descriptor builds on the log-polar planar descriptors, but adapts to the specific geometr...