Sciweavers

1230 search results - page 170 / 246
» On Abstraction in Scenarios
Sort
View
ECCV
2010
Springer
15 years 6 months ago
Energy Minimization Under Constraints on Label Counts
Abstract. Many computer vision problems such as object segmentation or reconstruction can be formulated in terms of labeling a set of pixels or voxels. In certain scenarios, we may...
ICRA
2003
IEEE
131views Robotics» more  ICRA 2003»
15 years 6 months ago
Sky/ground modeling for autonomous MAV flight
Abstract— Recently, we have implemented a computervision based horizon-tracking algorithm for flight stability and autonomy in Micro Air Vehicles (MAVs) [1]. Occasionally, this ...
Sinisa Todorovic, Michael C. Nechyba, Peter G. Ifj...
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
15 years 6 months ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...
ATAL
2003
Springer
15 years 6 months ago
Self-Organization in Multi Agent Systems: A Middleware Approach
Self-organization is built upon two main building blocks: adaptive and uncoupled interaction mechanisms and context-awareness. Here we show how the middleware TOTA (Tuples On The ...
Marco Mamei, Franco Zambonelli
CRYPTO
2003
Springer
93views Cryptology» more  CRYPTO 2003»
15 years 6 months ago
Universal Composition with Joint State
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
Ran Canetti, Tal Rabin