6800 search results - page 1123 / 1360 » Testing with Functions as Specifications |
128
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
Anomaly detection is a key element of intrusiondetection and other detection systems in which perturbations of normal behavior suggest the presence of intentionally or unintention...
123
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
Methods for automatic detection of left ventricular endocardium in echocardiograms are required to quantitatively evaluate the functional performance of the left ventricle. This s...
141
click to vote
ISMVL
2000
IEEE
15 years 9 months ago
2000
IEEE
We have developed two novel methods of fabricating very small Si single-electron transistors (SETs), called PAtternDependent OXidation (PADOX) and Vertical PAttern-Dependent OXida...
138
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
151
click to vote
UIST
2000
ACM
15 years 9 months ago
2000
ACM
We describe sensing techniques motivated by unique aspects of human-computer interaction with handheld devices in mobile settings. Special features of mobile interaction include c...