3456 search results - page 122 / 692 » Algorithms for Interface Synthesis |
113
Voted
CGF
2010
15 years 2 months ago
2010
We present a set of techniques for the synthesis of artificial images that depict branching structures like rivers, cracks, lightning, mountain ranges, or blood vessels. The centr...
117
Voted
ENGL
2008
15 years 2 months ago
2008
Quantum computer algorithms require an `oracle' as an integral part. An oracle is a reversible quantum Boolean circuit, where the inputs are kept unchanged at the outputs and ...
125
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
109
Voted
SIGSOFT
2010
ACM
15 years 18 days ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
120
Voted
TSD
2010
Springer
15 years 18 days ago
2010
Springer
This paper is focused on the evaluation of listening test that was realized with a view to objectively annotate expressive speech recordings and further develop a limited domain ex...