Sciweavers

1127 search results - page 107 / 226
» Theory Extension in ACL2(r)
Sort
View
ICMCS
2008
IEEE
139views Multimedia» more  ICMCS 2008»
16 years 25 days ago
Low-complexity asymmetric multiview video coding
Multiview video coding (MVC) is currently under development by the Joint Video Team (JVT) as an extension to Advanced Video Coding (H264/AVC). Based on the suppression theory in b...
Ying Chen, Shujie Liu, Ye-Kui Wang, Miska M. Hannu...
IPPS
2008
IEEE
16 years 24 days ago
On performance bottleneck of anonymous communication networks
Although a significant amount of effort has been directed at discovering attacks against anonymity communication networks and developing countermeasures to those attacks, there i...
Ryan Pries, Wei Yu, Steve Graham, Xinwen Fu
RTAS
2008
IEEE
16 years 23 days ago
A Modular Worst-case Execution Time Analysis Tool for Java Processors
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
Trevor Harmon, Martin Schoeberl, Raimund Kirner, R...
GLOBECOM
2007
IEEE
16 years 22 days ago
A Frequency-Dependence Model for the Ultra-Wideband Channel Based on Propagation Events
— While the frequency-dependence of the wireless channel may be negligible for narrow to wideband signals, it has been shown that modeling this dependence for bandwidths in exces...
Camillo Gentile, Alfred Kik
IAT
2007
IEEE
16 years 22 days ago
Economically Inspired Self-healing Model for Multi-Agent Systems
Self-healing in fault tolerant multi-agent systems is the system ability to automatically detect, diagnose, and repair the faults. However, most of the available solutions are fra...
Maryam Ashoori, Chunyan Miao, Majid Nili, Mehdi Am...