9067 search results - page 329 / 1814 » Adaptive Model Checking |
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
188
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...
193
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper proposes a subband adaptive motion compensated temporal filtering (MCTF) technique for scalable video coding and introduces a revised synthesis gain model for the quant...
177
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
Web Services are emerging technologies that enable application-to-application communication and reuse of autonomous services over the Web. Recent efforts, OWL-S, model the semanti...
136
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...