10891 search results - page 1887 / 2179 » Combining Model Reductions |
118
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
125
click to vote
PDP
2002
IEEE
15 years 8 months ago
2002
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to sol...
167
click to vote
WMCSA
2002
IEEE
15 years 8 months ago
2002
IEEE
Many “ubiquitous computing” applications need a constant flow of information about their environment to be able to adapt to their changing context. To support these “contex...
122
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
We have acquired panelist data that provides hedonic (liking) ratings for a set of 40 flavors each composed of the same 7 ingredients at different concentration levels. Our goal...
148
click to vote
GLVLSI
2010
IEEE
15 years 7 months ago
2010
IEEE
Graphene nanoribbon tunneling FETs (GNR TFETs) are promising devices for post-CMOS low-power applications because of the low subthreshold swing, high Ion/Ioff, and potential for l...