4502 search results - page 339 / 901 » Regular Model Checking |
204
click to vote
CGF
2010
15 years 5 months ago
2010
We focus on the class of regular models defined by Várady et al. for reverse engineering purposes. Given a 3D surface M represented through a dense set of points, we present a n...
174
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
3D freehand ultrasound imaging is becoming a widespread technique in medical examinations. This imaging technique produces a set of irregularly spaced B-scans. Reconstructing a reg...
183
click to vote
ICCSA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
206
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Recent research in visual inference from monocular images has shown that discriminatively trained image-based predictors can provide fast, automatic qualitative 3D reconstructions...