2701 search results - page 217 / 541 » Evaluation Issues |
136
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
162
click to vote
SIGCSE
2006
ACM
16 years 20 days ago
2006
ACM
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
175
click to vote
WOWMOM
2006
ACM
16 years 20 days ago
2006
ACM
Currently a wide range of different adaptive and intelligent system solutions are being proposed for use in self-managing or autonomic networks. However, there are few means by wh...
208
click to vote
AVSS
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, a texture-based segmentation approach using wavelet packets, co-occurrence matrices and normalised modified histogram thresholding is discussed and developed. Back...
164
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...