596 search results - page 91 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
153
click to vote
WCRE
1997
IEEE
15 years 9 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
167
click to vote
TCAD
2002
15 years 5 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
173
click to vote
CW
2005
IEEE
15 years 11 months ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...
153
click to vote
AI
2005
Springer
15 years 5 months ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
172
click to vote
JMLR
2010
15 years 23 days ago
2010
A successful class of image denoising methods is based on Bayesian approaches working in wavelet representations. The performance of these methods improves when relations among th...