Sciweavers

2695 search results - page 234 / 539
» The Complexity of Forecast Testing
Sort
View
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 8 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
CCECE
2006
IEEE
15 years 8 months ago
A Simplified Early Auditory Model with Application in Speech/Music Classification
The past decade has seen extensive research on audio classification and segmentation algorithms. However, the effect of background noise on the performance of classification has n...
Wei Chu, Benoît Champagne
CAMAD
2006
IEEE
15 years 8 months ago
Ensuring IP services consistency through lightweight monitoring-based admission control
Abstract-- This paper evaluates the performance of a distributed and lightweight AC model based on per-class edge-toedge monitoring feedback for ensuring the quality of multiple se...
Solange Rito Lima, Paulo Carvalho, Vasco Freitas
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
15 years 8 months ago
Particle swarm with speciation and adaptation in a dynamic environment
This paper describes an extension to a speciation-based particle swarm optimizer (SPSO) to improve performance in dynamic environments. The improved SPSO has adopted several prove...
Xiaodong Li, Jürgen Branke, Tim Blackwell
137
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
Windows 2000 Deployment Technical Challenges at the University of Colorado at Boulder
Microsoft Windows 2000 represents a major change in desktop and network operating systems. This latest Windows operating system includes many new features and technologies that wi...
Brad Judy, Alfred Roberts, David Bodnar