5255 search results - page 251 / 1051 » Formal Methods for Privacy |
128
click to vote
USAB
2007
15 years 5 months ago
2007
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
132
click to vote
ICML
2003
IEEE
16 years 5 months ago
2003
IEEE
We analyze the formal grounding behind Negative Correlation (NC) Learning, an ensemble learning technique developed in the evolutionary computation literature. We show that by rem...
155
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
157
click to vote
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
140
click to vote
DILS
2004
Springer
15 years 9 months ago
2004
Springer
Meaningfully integrating massive multi-experimental genomic data sets is becoming critical for the understanding of gene function. We have recently proposed methodologies for integ...