Sciweavers

859 search results - page 40 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
EUC
2005
Springer
15 years 5 months ago
A Survey of Anonymous Peer-to-Peer File-Sharing
Abstract. This paper provides a survey of searchable, peer-to-peer filesharing systems that offer the user some form of anonymity. We start this survey by giving a brief descript...
Tom Chothia, Konstantinos Chatzikokolakis
ICIP
1999
IEEE
15 years 4 months ago
Forward Adaptive Modeling for Context-Based Compression of Large Binary Images in Applications Requiring Spatial Access
A method for compression of large binary images is proposed for applications where spatial access to the image is required. The proposed method is a two-stage combination of forwa...
Eugene I. Ageenko, Pasi Fränti
ISOLA
2007
Springer
15 years 6 months ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz
CVIU
2007
108views more  CVIU 2007»
14 years 11 months ago
A real-time hand tracker using variable-length Markov models of behaviour
We present a novel approach for visual tracking of structured behaviour as observed in human–computer interaction. An automatically acquired variable-length Markov model is used...
Nikolay Stefanov, Aphrodite Galata, Roger J. Hubbo...
DAC
2000
ACM
16 years 22 days ago
Efficient variable ordering using aBDD based sampling
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro ...