Sciweavers

1120 search results - page 10 / 224
» time 1999
Sort
View
ACPC
1999
Springer
15 years 4 months ago
Real-Time Layered Video Compression Using SIMD Computation
Morten Vadskær Jensen, Brian Nielsen
108
Voted
AIMDM
1999
Springer
15 years 4 months ago
Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data
Silvia Miksch, Andreas Seyfang, Werner Horn, Chris...
82
Voted
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 4 months ago
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
Richard F. Paige, Eric C. R. Hehner
97
Voted
FSTTCS
1999
Springer
15 years 4 months ago
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Ron van der Meyden, Nikolay V. Shilov