998 search results - page 41 / 200 » From Feasible Proofs to Feasible Computations |
GI
2007
Springer
13 years 11 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
AAAI
2004
13 years 9 months ago
2004
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
The measurement of the 3-D "average propagator", P(r), from diffusion-weighted (DW) NMR or MRI data has been a "holy grail" in materials science and biomedicin...