7117 search results - page 346 / 1424 » IT Governance Frameworks as Methods |
189
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
144
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
A fast rate-distortion analytical framework for the PSNR-based optimization of JPEG baseline compression on color images is proposed in this paper. The analysis is conducted in th...
193
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a framework for derivation of several forward dynamics algorithms used in robotics. The framework is based on formulating an augmented system and performing block matr...
165
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
206
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
In this paper, we propose a new PDE-based methodology for deformable surfaces that is capable of automatically evolving its shape to capture the geometric boundary of the data and ...