12670 search results - page 318 / 2534 » Requirements Modeling |
201
click to vote
SAT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
163
click to vote
SI3D
2005
ACM
16 years 8 days ago
2005
ACM
Efficient and visually compelling reproduction of effects due to multiple scattering in participating media remains one of the most difficult tasks in computer graphics. Althoug...
156
click to vote
ADVIS
2000
Springer
15 years 11 months ago
2000
Springer
Modern applications demand support for a large number of clients and require large scale storage subsystems. This paper presents a theoretical model of prefetching and caching of s...
204
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
142
click to vote
ICIP
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, two empirical models for the sequence-level distortion-rate performance of predictive video source encoding are proposed. They require very limited amount of empiri...