9067 search results - page 788 / 1814 » Adaptive Model Checking |
214
click to vote
AIPS
2009
15 years 8 months ago
2009
Recent research in robot exploration and mapping has focused on sampling environmental hotspot fields. This exploration task is formalized by Low, Dolan, and Khosla (2008) in a se...
206
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Understanding the relationship between gene expression changes, enzyme activity shifts, and the corresponding physiological adaptive response of organisms to environme...
242
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
235
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
248
click to vote
ECBS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...