1446 search results - page 125 / 290 » Testing for Concise Representations |
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
ICFEM
2000
Springer
14 years 1 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
AGI
2008
13 years 11 months ago
2008
We present a set of cognitive phenomena that should be exhibited by a generally intelligent system. To date, we know of few systems that address more than a handful of these phenom...
ACL
2006
13 years 11 months ago
2006
Statistical machine translation is quite robust when it comes to the choice of input representation. It only requires consistency between training and testing. As a result, there ...
ICAD
2004
13 years 11 months ago
2004
The human ability to recognize, identify and compare sounds based on their approximation of particular vowels provides an intuitive, easily learned representation for complex data...