6926 search results - page 185 / 1386 » A More Effective CEFF |
163
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
In this article we summarize the strengths and weaknesses of empirical research in software engineering. We argue that in order to improve the current situation we must create bet...
185
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
150
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We propose a three-state series neural network for effective propagation of context and uncertainty information for image parsing. The activation functions used in the proposed mod...
157
click to vote
FLAIRS
2007
15 years 8 months ago
2007
We present an annotation method for developing a model of children’s comprehension that differentiates between their recall for the objective content of a story and inferred con...
174
click to vote
GLVLSI
2010
IEEE
15 years 8 months ago
2010
IEEE
For timing-driven or yield-driven designs, non-tree routing has become more and more popular and additional loops provide the redundant paths to protect against the effect of the ...