1481 search results - page 289 / 297 » Enriching the Software Development Process by Formal Methods |
ICTAI
1992
IEEE
15 years 3 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
109
click to vote
IJCAI
2003
15 years 1 months ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
128
click to vote
ESWA
2006
14 years 11 months ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...
108
click to vote
JUCS
2002
14 years 11 months ago
2002
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
128
click to vote
CGF
2010
14 years 9 months ago
2010
Procedural noise functions are widely used in Computer Graphics, from off-line rendering in movie production to interactive video games. The ability to add complex and intricate d...