Sciweavers

3897 search results - page 336 / 780
» complexity 2010
Sort
View
DCC
2010
IEEE
15 years 10 months ago
On the Adaptive Coefficient Scanning of JPEG XR/HD Photo
We explore several local and global strategies for adaptive scan ordering of transform coefficients in JPEG XR/HD Photo. This codec applies a global adaptive scan-order heuristic ...
Vanessa Testoni, Max H. M. Costa, Darko Kirovski, ...
ECBS
2010
IEEE
113views Hardware» more  ECBS 2010»
15 years 10 months ago
Do Sensornet Protocol Variants Yield Real Benefits?
Simple, stateless networking protocols provide a low-cost and predictable foundation upon which to build decentralised applications. Sensornets are complex, containing emergent be...
Jonathan Tate, Iain Bate
AISC
2010
Springer
15 years 9 months ago
On Building a Knowledge Base for Stability Theory
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
Agnieszka Rowinska-Schwarzweller, Christoph Schwar...
CAV
2010
Springer
176views Hardware» more  CAV 2010»
15 years 9 months ago
Robustness in the Presence of Liveness
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
Roderick Bloem, Krishnendu Chatterjee, Karin Greim...
FLAIRS
2010
15 years 9 months ago
Applying Goal Driven Autonomy to a Team Shooter Game
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
Hector Muñoz-Avila, David W. Aha, Ulit Jaid...