723 search results - page 55 / 145 » Computer Applications to Structural Analysis of Pavements |
108
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
BMCBI
2005
14 years 11 months ago
2005
Background: Several supervised and unsupervised learning tools are available to classify functional genomics data. However, relatively less attention has been given to exploratory...
BMCBI
2006
14 years 12 months ago
2006
Background: Finding the genetic causes of quantitative traits is a complex and difficult task. Classical methods for mapping quantitative trail loci (QTL) in miceuse an F2 cross b...
TABLETOP
2007
IEEE
15 years 6 months ago
2007
IEEE
Multi-touch tabletops have been the focus of significant recent study but, to date, few devices have moved from prototype to installed use. In this paper, we present observation a...
102
click to vote
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— Highly underactuated and passively adaptive robotic hands have shown great promise for robust performance in unstructured settings. In order to fully realize this potential, ef...