Sciweavers

1580 search results - page 232 / 316
» Non-Interference Through Determinism
Sort
View
DIS
2010
Springer
13 years 8 months ago
An Artificial Experimenter for Enzymatic Response Characterisation
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
Chris Lovell, Gareth Jones, Steve R. Gunn, Klaus-P...
GLOBECOM
2010
IEEE
13 years 8 months ago
Modeling and Analysis for Reactive-Decision Spectrum Handoff in Cognitive Radio Networks
This paper investigates how to characterize the effect of multiple spectrum handoff delay on the extended data delivery time of the secondary users' connections in cognitive r...
Chung-Wei Wang, Li-Chun Wang, Fumiyuki Adachi
ICCAD
2010
IEEE
156views Hardware» more  ICCAD 2010»
13 years 8 months ago
Boolean matching of function vectors with strengthened learning
Boolean matching for multiple-output functions determines whether two given (in)completely-specified function vectors can be identical to each other under permutation and/or negat...
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
ICRA
2010
IEEE
159views Robotics» more  ICRA 2010»
13 years 8 months ago
An RRT-based path planner for use in trajectory imitation
We propose a more robust robot programming by demonstration system planner that produces a reproduction path which satisfies statistical constraints derived from demonstration traj...
Jonathan Claassens
IGARSS
2010
13 years 8 months ago
Monitoring air and Land Surface Temperatures from remotely sensed data for climate-human health applications
This study proposes a methodology to infer maximum air temperature from space using observations from polar orbiting satellite MODIS. A previous study showed that minimum Land Sur...
Pietro Ceccato, Christelle Vancutsem, Marouane Tem...