4211 search results - page 767 / 843 » Types as Abstract Interpretations |
160
Voted
TMC
2011
14 years 10 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
151
Voted
TMM
2011
14 years 10 months ago
2011
Abstract—Supporting video transmission over error-prone mobile ad-hoc networks is becoming increasingly important as these networks become more widely deployed. We propose a rout...
151
Voted
TMM
2011
14 years 10 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
148
Voted
SERVICES
2010
14 years 10 months ago
2010
Abstract--Mobile devices such as smart phones are increasing permeating society. With strides in computational power, coupled with the ability to connect to other small devices, sm...
136
Voted
TCBB
2010
14 years 10 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...