Sciweavers

144 search results - page 27 / 29
» Combination Methods for Satisfiability and Model-Checking of...
Sort
View
CRYPTO
2004
Springer
120views Cryptology» more  CRYPTO 2004»
13 years 11 months ago
Rewriting Variables: The Complexity of Fast Algebraic Attacks on Stream Ciphers
Recently proposed algebraic attacks [2, 6] and fast algebraic attacks [1, 5] have provided the best analyses against some deployed LFSR-based ciphers. The process complexity is exp...
Philip Hawkes, Gregory G. Rose
ECCV
2008
Springer
14 years 8 months ago
Interactive Tracking of 2D Generic Objects with Spacetime Optimization
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
Xiaolin K. Wei, Jinxiang Chai
GIS
1995
ACM
13 years 9 months ago
Collaborative Spatial Decision Making with Qualitative Constraints
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
Nikos I. Karacapilidis, Dimitris Papadias, Max J. ...
FECS
2008
129views Education» more  FECS 2008»
13 years 7 months ago
Assessment of Student Performance in an Internet-Based Multimedia Classroom
Much research has been devoted to the study of exclusively distance-learning paradigms for teaching various technological subjects, yet many students have not been satisfied with ...
Stephen Turner, Michael Farmer
SIVP
2010
184views more  SIVP 2010»
13 years 4 months ago
Multichannel AR parameter estimation from noisy observations as an errors-in-variables issue
In various applications from radar processing to mobile communication systems based on CDMA for instance, M-AR multichannel processes are often considered and may be combined with...
Julien Petitjean, Eric Grivel, William Bobillet, P...