8828 search results - page 362 / 1766 » Formal methods in practice |
186
click to vote
CARS
2004
15 years 8 months ago
2004
In this paper, we present a hybrid method for calibration of an endoscope and its registration with an active optical tracker. Practically, both operations are done simultaneously...
186
click to vote
APCCM
2009
15 years 8 months ago
2009
In the study of business management, process integration has become an interesting area of research that affects analysts studying and working on existing system plans. Process in...
134
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—Detectability of failures of linear programming (LP) decoding and the potential for improvement by adding new constraints motivate the use of an adaptive approach in selecting t...
173
Voted
MP
2006
15 years 6 months ago
2006
The vast size of real world stochastic programming instances requires sampling to make them practically solvable. In this paper we extend the understanding of how sampling affects ...
228
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Gaussian graphical models are of great interest in statistical learning. Because the conditional independencies between different nodes correspond to zero entries in the inverse c...