671 search results - page 38 / 135 » Computer Aided Modelling Exercises |
DAC
2006
ACM
14 years 11 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Technology holds great potential for improvements in the field of health care used in intelligent environments, with homes becoming the centers for proactive health care. Smart...
IJON
2010
13 years 8 months ago
2010
A basic understanding of the relationship between activity of individual neurons and macroscopic electrical activity of local field potentials or electroencephalogram (EEG) may pro...
ICCV
1999
IEEE
14 years 11 months ago
1999
IEEE
The classification of human body motion is a difficult problem. In particular, the automatic segmentation of sequences containing more than one class of motion is challenging. An ...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...