331 search results - page 27 / 67 » HOLCF: Higher Order Logic of Computable Functions |
168
click to vote
ASPDAC
2006
ACM
16 years 16 days ago
2006
ACM
This paper introduces a new current-based cell timing analyzer, called CGTA, which has a higher performance than existing logic cell timing analysis tools. CGTA relies on a compac...
188
click to vote
COCOA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
162
click to vote
ICONIP
1998
15 years 8 months ago
1998
Many real processes are composed of a n-fold repetition of some simpler process. If the whole process can be modelled with a neural network, we present a method to derive a model ...
175
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
155
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Markov random fields with higher order potentials have emerged as a powerful model for several problems in computer vision. In order to facilitate their use, we propose a new rep...