3750 search results - page 479 / 750 » Timed Automata Patterns |
123
Voted
BMVC
2010
15 years 1 months ago
2010
Structured Light Plethysmography (SLP) is a novel non-invasive method that uses structured light to perform pulmonary function testing that does not require physical contact with ...
169
Voted
FORTE
2009
15 years 1 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
121
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the store...
116
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—While medical imaging typically provides massive amounts of data, the extraction of relevant information for predictive diagnosis remains a difficult challenge. Functional MRI ...
137
Voted
TIM
2011
14 years 10 months ago
2011
—Haptic tactile feedback is a widely used and effective technique in virtual reality applications. When an object’s surface is explored by stroking it using fingers, finger n...