133 search results - page 9 / 27 » diagrams 2000 |
VL
2000
IEEE
13 years 12 months ago
2000
IEEE
Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
ICSM
2000
IEEE
13 years 12 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...
MICRO
2000
IEEE
13 years 11 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
AAAI
2000
13 years 9 months ago
2000
Sampling has become an important strategy for inference in belief networks. It can also be applied to the problem of selecting actions in influence diagrams. In this paper, we pre...