Sciweavers

4355 search results - page 161 / 871
» Increasing Kolmogorov Complexity
Sort
View
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 3 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv
ISCAS
2003
IEEE
91views Hardware» more  ISCAS 2003»
15 years 3 months ago
Real-time implementation of H.263+ using TI TMS320c6201 digital signal processor
In this paper, we use a digital signal processor (DSP) to implement a real-time H.263+ codec. We use fast algorithms to reduce the codec computational complexity. Furthermore, the...
Timothy K. Shih, Chia-Yang Tsai, Hsueh-Ming Hang
66
Voted
ICN
2001
Springer
15 years 2 months ago
The Influence of Web Page Images on the Performance of Web Servers
In recent years World Wide Web traffic has shown phenomenal growth. The main causes are the continuing increase in the number of people navigating the Internet and the creation of ...
Cristina Hava Muntean, Jennifer McManis, John Murp...
72
Voted
ICIP
2000
IEEE
15 years 2 months ago
Wipe Production in MPEG-2 Compressed Video
With the increase of digital technology in video production, several types of complex video special effects editing have begun to appear in video clips. In this paper a novel algo...
Warnakulasuriya Anil Chandana Fernando, Cedric Nis...
AOSE
2000
Springer
15 years 2 months ago
Designing Agent-Oriented Systems by Analysing Agent Interactions
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...
Simon Miles, Mike Joy, Michael Luck