Sciweavers

963 search results - page 136 / 193
» Types for Mobile Ambients
Sort
View
146
Voted
MOBICOM
2000
ACM
15 years 7 months ago
Caching strategies in on-demand routing protocols for wireless ad hoc networks
An on-demand routing protocol for wireless ad hoc networks is one that searches for and attempts to discover a route to some destination node only when a sending node originates a...
Yih-Chun Hu, David B. Johnson
139
Voted
FLAIRS
2003
15 years 4 months ago
Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
William J. Clancey, Maarten Sierhuis, Charis Kaski...
149
Voted
MM
2010
ACM
185views Multimedia» more  MM 2010»
15 years 3 months ago
The virtual chocolate factory: mixed reality industrial collaboration and control
We show several aspects of a complex mixed reality system that we have built and deployed in a real-world factory setting. In our system, virtual worlds, augmented realities, and ...
Maribeth Back, Don Kimber, Eleanor G. Rieffel, Ant...
ESOP
2009
Springer
15 years 10 months ago
Amortised Memory Analysis Using the Depth of Data Structures
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
Brian Campbell
102
Voted
CVPR
2008
IEEE
16 years 5 months ago
Pan, zoom, scan - Time-coherent, trained automatic video cropping
We present a method to fully automatically fit videos in 16:9 format on 4:3 screens and vice versa. It can be applied to arbitrary aspect ratios and can be used to make videos sui...
Thomas Deselaers, Philippe Dreuw, Hermann Ney