837 search results - page 136 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
PVLDB
2008
13 years 7 months ago
2008
We study how best to schedule scans of large data files, in the presence of many simultaneous requests to a common set of files. The objective is to maximize the overall rate of p...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
Particle filtering is an approach to Bayesian estimation of intractable posterior distributions from time series signals distributed by non-Gaussian noise. A couple of variant par...
ISESE
2005
IEEE
14 years 1 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
RT
2004
Springer
14 years 1 months ago
2004
Springer
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...
CAV
2000
Springer
14 years 15 hour ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...