4714 search results - page 343 / 943 » The Complexity of Iterated Multiplication |
186
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
181
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
173
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
192
click to vote
EMMCVPR
1999
Springer
15 years 11 months ago
1999
Springer
Markov Random Fields are widely used in many image processing applications. Recently the shortcomings of some of the simpler forms of these models have become apparent, and models ...
176
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe an improved iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. The speed and accuracy of our approach mak...