4772 search results - page 81 / 955 » An approach to interface synthesis |
150
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B
173
click to vote
AAAI
1990
15 years 7 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
155
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
228
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
147
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
One possible solution for pose- and illuminationinvariant face recognition is to employ appearancebased approaches, which rely greatly on correct facial textures. However, existin...