557 search results - page 63 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
MMS
2007
14 years 9 months ago
2007
Abstract From lyrics-display on electronic music players and Karaoke videos to surtitles for live Chinese opera performance, one feature is common to all these everyday functionali...
EACL
2010
ACL Anthology
14 years 10 months ago
2010
ACL Anthology
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...
116
click to vote
LICS
2012
IEEE
13 years 6 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...
CEC
2007
IEEE
14 years 11 months ago
2007
IEEE
Abstract—The high-level synthesis process allows the automatic design and implementation of digital circuits starting from a behavioral description. Evolutionary algorithms are v...