859 search results - page 16 / 172 » Implementing CMMI using a Combination of Agile Methods |
71
Voted
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
109
Voted
FORMATS
2010
Springer
14 years 7 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
82
Voted
IROS
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— We propose a novel control method for lowerlimb assist that produces a virtual modification of the mechanical impedance of the human limbs. This effect is accomplished...
67
Voted
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
Although variational methods are among the most accurate techniques for estimating the optical flow, they have not yet entered the field of real-time vision. Main reason is the gr...
80
Voted
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, an effective multiresolution image representation using the combination of 2D quincunx filter bank (FB) and directional wavelet transform (WT) is presented. The pro...