1345 search results - page 147 / 269 » A Class of Logarithmic Integrals |
111
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Information Visualization Toolkits are often in the form of applications or complex frameworks and do not integrate into existing applications very easily. In this paper we introd...
154
click to vote
ICCSA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Many problems in computer science are related to scheduling problems or embedding problems. Therefore it is an interesting topic to find efficient (approximation) algori...
135
Voted
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
126
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
Building on recent progress in modeling filter response statistics of natural images we integrate a statistical model into a variational framework for image segmentation. Incorpo...
136
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...