933 search results - page 123 / 187 » A Fully Automatic hp-Adaptivity |
125
Voted
TEX
2004
Springer
15 years 5 months ago
2004
Springer
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
87
Voted
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
105
click to vote
ESAW
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In open agent societies, communication protocols and strategies cannot be assumed to always match perfectly, because they are typically specified by different designers...
100
Voted
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
84
Voted
VISUALIZATION
2002
IEEE
15 years 5 months ago
2002
IEEE
Finding the “best” viewing parameters for a scene is quite difficult but a very important problem. Fully automatic procedures seem to be impossible as the notion of “best...