9067 search results - page 560 / 1814 » Adaptive Model Checking |
166
click to vote
EVOW
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
199
click to vote
ISER
2004
Springer
16 years 14 days ago
2004
Springer
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...
183
click to vote
WETICE
2003
IEEE
16 years 11 days ago
2003
IEEE
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
186
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
235
click to vote
EMMCVPR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We propose a vector representation approach to contour estimation from noisy data. Images are modeled as random elds composed of a set of homogeneous regions contours (bo...