4940 search results - page 174 / 988 » On the Complexity of Universal Programs |
147
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
133
Voted
ENTCS
2008
15 years 5 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
136
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
158
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
Classifying the dialogue act of a user utterance is a key functionality of a dialogue management system. This paper presents a data-driven dialogue act classifier that is learned ...
141
Voted
ACL
2009
15 years 2 months ago
2009
In this paper, we analyze the impact of different automatic annotation methods on the performance of supervised approaches to the complex question answering problem (defined in th...