5203 search results - page 676 / 1041 » An approach to workflow modeling and analysis |
186
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
187
click to vote
CAD
2008
Springer
15 years 7 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
207
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
Modern machine learning techniques provide robust approaches for data-driven modeling and critical information extraction, while human experts hold the advantage of possessing hig...
176
click to vote
ICA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present an approach for blindly decomposing an observed random vector x into f(As) where f is a diagonal function i.e. f = f1 × . . . × fm with one-dimensional funct...
168
click to vote
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...