708 search results - page 115 / 142 » Finding a Path to Model Consistency |
MICRO
1996
IEEE
14 years 1 months ago
1996
IEEE
For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit--the dataflow limit--on the parallel execution of serial progra...
3DIM
2007
IEEE
14 years 1 months ago
2007
IEEE
Traditional Shape-from-Shading (SFS) techniques aim to solve an under-constrained problem: estimating depth map from one single image. The results are usually brittle from real im...
ANNPR
2006
Springer
14 years 23 days ago
2006
Springer
We present a multiclass classification system for gray value images through boosting. The feature selection is done using the LPBoost algorithm which selects suitable features of a...
GECCO
2006
Springer
14 years 21 days ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...
FMCAD
2000
Springer
14 years 19 days ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...