5205 search results - page 913 / 1041 » Tilings and model theory |
165
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We have previously shown that hemispherical soft fingertips are at equilibrium when they are in contact with objects, suggesting that the contact force and flexibility of the...
173
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
149
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
173
click to vote
IJCBDD
2010
15 years 4 months ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
134
click to vote
IJEB
2010
15 years 4 months ago
2010
: E-marketplaces present a business-to-business (B2B) trading environment in which firms can benefit from increased choice among trading partners, and other efficiencies gained thr...