1472 search results - page 103 / 295 » Technique Integration for Requirements Assessment |
180
click to vote
MICCAI
2003
Springer
16 years 6 months ago
2003
Springer
Computer-aided diagnosis is often based on comparing a structure of interest with prior models. Such a comparison requires automatic techniques in determining prior models from a s...
194
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
158
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Bug-free first silicon is not guaranteed by the existing pre-silicon verification techniques. To have impeccable products, it is now required to identify any bug as soon as the ...
163
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
131
click to vote
APVIS
2007
15 years 7 months ago
2007
Email has become an integral method of communication. However, it is still plagued by vast amounts of spam. Many statistical techniques, such as Bayesian filtering, have been app...