16430 search results - page 725 / 3286 » On Computable Tree Functions |
213
click to vote
ICTAC
2005
Springer
16 years 29 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 ...
227
click to vote
APPROX
2004
Springer
16 years 26 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...
187
click to vote
CONCUR
2004
Springer
16 years 25 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...
193
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 4 days 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...
194
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...