399 search results - page 71 / 80 » Efficient Model Checking Using Tabled Resolution |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
GMP
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
SIGGRAPH
1996
ACM
13 years 11 months ago
1996
ACM
We present an algorithm for real-time level of detail reduction and display of high-complexity polygonal surface data. The algorithm uses a compact and efficient regular grid repr...
EMO
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents ParadisEO-MOEO, a white-box objectoriented generic framework dedicated to the flexible design of evolutionary multi-objective algorithms. This paradig...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
The Radon transform (RT) on straight lines deals as mathematical foundation for many tomographic modalities (e.g. Xray scanner, Positron Emission Tomography), using only primary r...