2498 search results - page 384 / 500 » A tool for materials exploration |
169
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— Hierarchical state machines have proven to be a powerful tool for controlling autonomous robots due to their flexibility and modularity. For most real robot implementations, h...
175
click to vote
ISBI
2007
IEEE
16 years 25 days ago
2007
IEEE
We propose a computational framework for learning predictive image features as “biomarkers” for Alzheimer’s Disease discrimination using high-resolutionMagnetic Resonance (M...
157
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
190
click to vote
FMCO
2007
Springer
16 years 21 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
171
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
The proliferation of all kinds of devices with different security requirements and constraints, and the arms-race nature of the security problem are increasingly demanding the de...