3765 search results - page 315 / 753 » Qualitative Action Systems |
206
click to vote
SMALLTALK
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
173
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
— A planning method for knotting/unknotting and tightening manipulation of deformable linear objects is proposed. It is important for linear object manipulation in industrial/med...
292
click to vote
DILS
2005
Springer
16 years 29 days ago
2005
Springer
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
191
Voted
DSVIS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
192
click to vote
ICDCS
2003
IEEE
16 years 22 days ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...