3742 search results - page 225 / 749 » On the Use of Formal Techniques for Validation |
175
click to vote
TVCG
2008
15 years 6 months ago
2008
The effective visualization of vascular structures is critical for diagnosis, surgical planning as well as treatment evaluation. In recent work, we have developed an algorithm for ...
158
click to vote
FLAIRS
2008
15 years 8 months ago
2008
In this paper, we model large support vector machines (SVMs) by smaller networks in order to decrease the computational cost. The key idea is to generate additional training patte...
453
click to vote
BPM
2011
Springer
14 years 6 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
174
click to vote
ISTA
2008
15 years 8 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
172
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...