933 search results - page 82 / 187 » Fully automatic cross-associations |
144
click to vote
AGP
2003
IEEE
15 years 11 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...
152
click to vote
ESAW
2003
Springer
15 years 11 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...
160
click to vote
ICSE
2003
IEEE-ACM
15 years 11 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...
139
click to vote
VISUALIZATION
2002
IEEE
15 years 11 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...
139
click to vote
MAMMO
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Sonography is gaining popularity as an adjunct screening technique for assessing abnormalities in the breast. This is particularly true in cases where the subject has den...