9067 search results - page 657 / 1814 » Adaptive Model Checking |
195
Voted
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Video encoding to yield a decoder-friendly H.264 bit stream that consumes less decoding power yet with little coding efficiency degradation is investigated in this work. The e...
183
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— We propose in this paper a simple receiver adapted to Multi User Interferences (MUI) in Impulse Radio Ultra Wide Band (IR-UWB). It is known that MUI distribution is not Gaussia...
172
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Business process management in service-oriented computing (SOC) environments poses special challenges. In particular, SOC environments are dynamic, thereby requiring frequent chan...
252
Voted
AH
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. The PULSE project objectives are to generate and evaluate a webbased personalized educational intervention for the management of cardiovascular risk. We present a web-bas...
188
click to vote
WEBI
2005
Springer
16 years 23 days ago
2005
Springer
This paper addresses the adaptation of dynamic and synchronized multimedia presentations built by querying XML compatible data sources. We provide WIS designers with facilities fo...