1054 search results - page 32 / 211 » From a Verified Kernel towards Verified Systems |
123
click to vote
WIAMIS
2009
IEEE
15 years 8 months ago
2009
IEEE
We propose an autonomous system for personalized production of basketball videos from multi-sensored data under limited display resolution. Especially, we propose criteria for opt...
126
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
ELPUB
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we study how to provide metadata for a pre-print archive. Metadata includes, but is not limited to, title, authors, citations, and keywords, and is used to both pres...
107
click to vote
JUCS
2006
15 years 1 months ago
2006
: Fingerprint image enhancement is a common and critical step in fingerprint recognition systems. To enhance the images, most of the existing enhancement algorithms use filtering t...
130
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...