129 search results - page 26 / 26 » 06172 Abstracts Collection -- Directed Model Checking |
RSS
2007
13 years 7 months ago
2007
Abstract— We consider the task of omnidirectional path following for a quadruped robot: moving a four-legged robot along any arbitrary path while turning in any arbitrary manner....
AIPS
2003
13 years 7 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
CSDA
2006
13 years 5 months ago
2006
Abstract: The method of covariate adjusted regression was recently proposed for situations where both predictors and response in a regression model are not directly observed, but a...
BMCBI
2007
13 years 5 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...