369 search results - page 33 / 74 » diagrams 2008 |
95
Voted
DSS
2008
15 years 16 days ago
2008
When solving clinical decision-making problems with modern graphical decision-theoretic models such as influence diagrams, we obtain decision tables with optimal decision alternat...
106
Voted
WONTO
2008
15 years 1 months ago
2008
Knowledge is of general utility and should be captured thinking in reuse. A key idea underlining knowledge capturing for reuse is to consider that there are two major kinds of know...
109
click to vote
JOT
2008
15 years 13 days ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
111
click to vote
TCS
2002
15 years 3 days ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
CORR
2008
Springer
15 years 17 days ago
2008
Springer
Let C be a compact and convex set in the plane that contains the origin in its interior, and let S be a finite set of points in the plane. The Delaunay graph DGC (S) of S is define...