Sciweavers

7682 search results - page 1170 / 1537
» Active Appearance Models
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 10 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
FGR
2004
IEEE
156views Biometrics» more  FGR 2004»
15 years 10 months ago
Robust Lip Contour Extraction using Separability of Multi-Dimensional Distributions
We present a lip contour extraction method using separability of color intensity distributions. Usually it is difficult to robustly extract the outer lip contour mainly because of...
Tomokazu Wakasugi, Masahide Nishiura, Kazuhiro Fuk...
CRYPTO
2006
Springer
97views Cryptology» more  CRYPTO 2006»
15 years 10 months ago
Robust Multiparty Computation with Linear Communication Complexity
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...
Martin Hirt, Jesper Buus Nielsen
EVOW
2006
Springer
15 years 10 months ago
BeeHiveGuard: A Step Towards Secure Nature Inspired Routing Algorithms
Abstract. Nature inspired routing protocols for fixed and mobile networks are becoming an active area of research. However, analyzing their security threats and countering them hav...
Horst Wedde, Constantin Timm, Muddassar Farooq
APSEC
2001
IEEE
15 years 10 months ago
A Framework for Migrating Procedural Code to Object-Oriented Platforms
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
Ying Zou, Kostas Kontogiannis
« Prev « First page 1170 / 1537 Last » Next »