4248 search results - page 521 / 850 » Simulating hci for all |
185
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
194
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Using Boolean AND and OR functions to combine the responses of multiple one- or two-class classifiers in the ROC space may significantly improve performance of a detection system o...
169
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. A new approach to teaching the skills used by health professionals during hands-on (palpation-based) examinations and procedures is reported, where students practice indi...
175
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
We present a new approach for estimation and optimization of the average stand-by power dissipation in large MOS digital circuits. To overcome the complexity of state dependence i...
163
click to vote
DOLAP
1999
ACM
15 years 11 months ago
1999
ACM
In recent years, OLAP technologies have become one of the important applications in the database industry. In particular, the datacube operation proposed in [5] receives strong at...