1415 search results - page 58 / 283 » Verified systems by composition from verified components |
153
click to vote
ERSA
2006
15 years 7 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
169
click to vote
ICPR
2008
IEEE
16 years 23 days ago
2008
IEEE
This paper proposes an automatic foreground segmentation system based on Gaussian mixture models and dynamic graph cut algorithm. An adaptive perpixel background model is develope...
177
click to vote
WIAMIS
2009
IEEE
16 years 1 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...
180
click to vote
SIGPLAN
2002
15 years 6 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...
143
click to vote
ELPUB
2008
ACM
15 years 8 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...