5159 search results - page 716 / 1032 » Structural Testing of Executables |
202
click to vote
AAAI
1998
15 years 8 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
212
click to vote
UAI
2003
15 years 8 months ago
2003
We present an application of hierarchical Bayesian estimation to robot map building. The revisiting problem occurs when a robot has to decide whether it is seeing a previously-bui...
160
click to vote
WSC
1998
15 years 8 months ago
1998
Heuristics are an increasingly popular solution method for combinatorial optimization problems. Heuristic use often frees the modeler from some of the restrictions placed on class...
225
click to vote
ISMB
1993
15 years 8 months ago
1993
Wedescribe various methods designed to discover knowledge in the GenBanknucleic acid sequence database. Using a grammatical model of gene structure, we create a parse tree of a ge...
199
click to vote
BILDMED
2009
15 years 8 months ago
2009
In computer assisted diagnostics nowadays, high-value 3-D visualization intake a supporting role to the traditional 2-D slice wise visualization. 3-D visualization may create intui...