4166 search results - page 330 / 834 » Automating the constraining process |
121
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
The use of deep submicron process technologies presents several new challenges in the area of manufacturing test. While a significant body of work has been devoted to identifying ...
125
Voted
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
184
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
148
click to vote
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Motion detection and estimation are known to be important in many automated surveillance systems. It has drawn significant research interest in the field of computer vision. This ...
154
Voted
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
Semantic parsing is the task of mapping a natural language sentence into a complete, formal meaning representation. Over the past decade, we have developed a number of machine lear...