Sciweavers

4944 search results - page 822 / 989
» From XML to Relational Models
Sort
View
ICRA
2009
IEEE
124views Robotics» more  ICRA 2009»
14 years 5 months ago
A real-time helicopter testbed for insect-inspired visual flight control
— The paper describes an indoor helicopter testbed that allows implementing and testing of bio-inspired control algorithms developed from scientific studies on insects. The heli...
Shuo Han, Andrew D. Straw, Michael H. Dickinson, R...
IPPS
2009
IEEE
14 years 5 months ago
Compact graph representations and parallel connectivity algorithms for massive dynamic network analysis
Graph-theoretic abstractions are extensively used to analyze massive data sets. Temporal data streams from socioeconomic interactions, social networking web sites, communication t...
Kamesh Madduri, David A. Bader
LICS
2009
IEEE
14 years 5 months ago
Trace Semantics is Fully Abstract
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
Sumit Nain, Moshe Y. Vardi
CANS
2009
Springer
120views Cryptology» more  CANS 2009»
14 years 5 months ago
Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe efficient GC constructions for additi...
Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Sc...
ATAL
2009
Springer
14 years 5 months ago
Hedonic coalition nets
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
Edith Elkind, Michael Wooldridge