Sciweavers

1729 search results - page 160 / 346
» Practical Temporal Projection
Sort
View
APN
2000
Springer
15 years 6 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
ICIAP
1999
ACM
15 years 6 months ago
Cellular Automata Based Optical Flow Computation for "Just-in-Time" Applications
Real-world tasks often require real-time performances. However, in many practical cases, “just in time” responses are sufficient. This means that a system should be efficien...
Giovanni Adorni, Stefano Cagnoni, Monica Mordonini
DL
1998
Springer
138views Digital Library» more  DL 1998»
15 years 6 months ago
Making Metadata: A Study of Metadata Creation for a Mixed Physical-Digital Collection
Metadata is an important way of creating order in emerging distributed digital library collections. This paper presents an analysis of ethnographic data gathered in a university l...
Catherine C. Marshall
150
Voted
ECCV
2006
Springer
15 years 6 months ago
Dynamic Texture Recognition Using Volume Local Binary Patterns
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
Guoying Zhao, Matti Pietikäinen
USS
2008
15 years 4 months ago
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security
We explore the problem of secret-key distribution in unidirectional channels, those in which a sender transmits information blindly to a receiver. We consider two approaches: (1) ...
Ari Juels, Ravikanth Pappu, Bryan Parno