13306 search results - page 2322 / 2662 » Theoretical Computer Science |
205
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
204
click to vote
MUE
2008
IEEE
16 years 1 months ago
2008
IEEE
Detection of gait characteristics has found considerable interest in field of biomechanics and rehabilitation sciences. In this paper an approach for abnormal gait detection emplo...
179
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
The development of Medical Image Analysis (MIA) applications that can successfully be applied in clinical practice is difficult for several reasons, one of them being the large am...
185
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
175
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...