Sciweavers

4120 search results - page 719 / 824
» Exploring ocean data
Sort
View
RSS
2007
139views Robotics» more  RSS 2007»
13 years 11 months ago
Design of a Bio-inspired Dynamical Vertical Climbing Robot
Abstract— This paper reviews a template for dynamical climbing originating in biology, explores its stability properties in a numerical model, and presents empirical data from a ...
Jonathan Clark, Daniel Goldman, Pei-Chun Lin, Gora...
IASTEDSEA
2004
13 years 11 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij
USENIX
1996
13 years 11 months ago
AFRAID - A Frequently Redundant Array of Independent Disks
Disk arrays are commonly designed to ensure that stored data will always be able to withstand a disk failure, but meeting this goal comes at a significant cost in performance. We ...
Stefan Savage, John Wilkes
AAAI
1990
13 years 11 months ago
Constructor: A System for the Induction of Probabilistic Models
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...
Robert M. Fung, Stuart L. Crawford
BMCBI
2008
153views more  BMCBI 2008»
13 years 10 months ago
AWclust: point-and-click software for non-parametric population structure analysis
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...
Xiaoyi Gao, Joshua D. Starmer