Sciweavers

5186 search results - page 638 / 1038
» Embedded Systems
Sort
View
STOC
2005
ACM
115views Algorithms» more  STOC 2005»
16 years 7 months ago
Lower-stretch spanning trees
We show that every weighted connected graph G contains as a subgraph a spanning tree into which the edges of G can be embedded with average stretch O log2 n log log n . Moreover, w...
Michael Elkin, Yuval Emek, Daniel A. Spielman, Sha...
ESOP
2010
Springer
16 years 4 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
AMFG
2005
IEEE
244views Biometrics» more  AMFG 2005»
16 years 11 days ago
Automatic 3D Facial Expression Analysis in Videos
We introduce a novel framework for automatic 3D facial expression analysis in videos. The preliminary results were demonstrated by editing the facial expression with facial recogni...
Ya Chang, Marcelo Bernardes Vieira, Matthew Turk, ...
GPCE
2005
Springer
16 years 7 days ago
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, E...
IMA
2005
Springer
162views Cryptology» more  IMA 2005»
16 years 7 days ago
Pairing-Based Cryptography at High Security Levels
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
Neal Koblitz, Alfred Menezes