5481 search results - page 884 / 1097 » Application Analysis for Parallel Processing |
115
Voted
VISUALIZATION
1997
IEEE
15 years 6 months ago
1997
IEEE
The task of reconstructing the derivative of a discrete function is essential for its shading and rendering as well as being widely used in image processing and analysis. We surve...
145
Voted
CADE
1990
Springer
15 years 6 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
123
Voted
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
153
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
127
click to vote
CIVR
2006
Springer
15 years 6 months ago
2006
Springer
Learning a good ranking function plays a key role for many applications including the task of (multimedia) information retrieval. While there are a few rank learning methods availa...