9504 search results - page 1576 / 1901 » Dynamic Substitution Model |
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
171
Voted
JVCIR
2006
15 years 6 months ago
2006
This paper presents a revised rate control scheme based on an improved frame complexity measure. Rate control adopted by both MPEG-4 VM18 and H.264/AVC use a quadratic rate-distor...
170
click to vote
NECO
2008
15 years 6 months ago
2008
Previous theoretical work has shown that a single layer neural network can implement the optimal decision process for simple, two alternative forced choice (2AFC) tasks. However, ...
152
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Performance of WLANs has been extensively studied during the past few years. While the focus has mostly been on isolated cells, the coverage of WLANs is in practice most often rea...
174
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Motivation: The issue of high dimensionality in microarray data has been, and remains, a hot topic in statistical and computational analysis. Efficient gene filtering and differen...