10891 search results - page 452 / 2179 » Combining Model Reductions |
161
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the computational complexity of scalable video decoding using emerging scalable extension of H.264/AVC (SVC) standard compliant decoder. Scalable functionalit...
185
click to vote
AMOST
2005
ACM
16 years 12 days ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
207
click to vote
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
188
click to vote
CDVE
2008
Springer
15 years 8 months ago
2008
Springer
No part of the economic community can now escape from the urgent issues related to global warming, carbon footprint and reducing energy consumption. Nevertheless, the construction ...
149
click to vote
IJON
2007
15 years 6 months ago
2007
We study a model of feature binding in prefrontal cortex which defers specific perceptual information to lower areas and merely maintains the identity of the combination. The mod...