36320 search results - page 357 / 7264 » From Code to Models |
170
click to vote
CCS
2004
ACM
16 years 3 days ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
167
click to vote
GPCE
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
140
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
146
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
172
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
In this paper, human facial articulation models are derived from frontal and side view image sequences using connected vibrations non-rigid motion tracking algorithm. First, a 3D ...