3828 search results - page 553 / 766 » Proof-Based System Engineering Using a Virtual System Model |
190
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
We present our system for the capturing and analysis of 3D facial motion. A high speed camera is used as capture unit in combination with two surface mirrors. The mirrors provide ...
173
Voted
DAGM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
151
click to vote
ISW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
199
click to vote
PDP
2005
IEEE
16 years 11 hour ago
2005
IEEE
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
129
click to vote
DAGSTUHL
2010
15 years 7 months ago
2010
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...