144 search results - page 27 / 29 » Combination Methods for Satisfiability and Model-Checking of... |
CRYPTO
2004
Springer
13 years 11 months ago
2004
Springer
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...
ECCV
2008
Springer
14 years 8 months ago
2008
Springer
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...
GIS
1995
ACM
13 years 9 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
FECS
2008
13 years 7 months ago
2008
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 ...
SIVP
2010
13 years 4 months ago
2010
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...