854 search results - page 114 / 171 » Addressing Dynamic Issues of Program Model Checking |
143
click to vote
JCM
2006
15 years 2 months ago
2006
The use of middleware has extended from simply facilitating applications' communication to a broad set of services supporting a huge spectrum of networked and distributed comp...
124
Voted
CMSB
2007
Springer
15 years 8 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
127
click to vote
EICS
2010
ACM
15 years 7 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...
126
click to vote
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a system that detects human falls in the home environment, distinguishing them from competing noise, by using only the audio signal from a single far-field microphone....
115
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...