426 search results - page 21 / 86 » Run lengths and liquidity |
147
click to vote
IROS
2006
IEEE
16 years 3 days ago
2006
IEEE
— During a complete running stride, which involves significant periods of flight during which no legs are contacting the ground, a quadruped cannot employ static stability tech...
166
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
We develop a compact and efficient reachability labeling scheme for answering provenance queries on workflow runs that conform to a given specification. Even though a workflow run...
159
click to vote
ACTAC
2008
15 years 6 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
206
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
172
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Liquid chromatography coupled to mass spectrometry (LC-MS) has become a prominent tool for the analysis of complex proteomics and metabolomics samples. In many applica...