1241 search results - page 179 / 249 » Path-oriented random testing |
TEI
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we describe “The Other Brother”, a semiautonomous device that captures images and video of spontaneous moments in the course of everyday life. It was our goal t...
106
click to vote
DAWAK
2009
Springer
15 years 6 months ago
2009
Springer
The appropriate choice of a method for imputation of missing data becomes especially important when the fraction of missing values is large and the data are of mixed type. The prop...
115
click to vote
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
CRV
2009
IEEE
15 years 6 months ago
2009
IEEE
We describe a navigation and coverage system based on unsupervised learning driven by visual input. Our objective is to allow a robot to remain continuously moving above a terrain...
116
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...