13784 search results - page 453 / 2757 » On Computing Functions with Uncertainty |
190
click to vote
ICTAC
2005
Springer
16 years 10 days ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
201
click to vote
APPROX
2004
Springer
16 years 7 days ago
2004
Springer
In standard property testing, the task is to distinguish between objects that have a property P and those that are ε-far from P, for some ε > 0. In this setting, it is perfec...
172
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
183
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 11 months ago
2009
ACM
Older drivers represent the fastest growing segment of the road user population. Cognitive and physiological capabilities diminishes with ages. The design of future in-vehicle int...
173
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...