7109 search results - page 71 / 1422 » Process Algebra with Combinators |
103
Voted
ICIP
2001
IEEE
16 years 2 months ago
2001
IEEE
81
Voted
CICLING
2005
Springer
15 years 6 months ago
2005
Springer
114
Voted
ECEASST
2006
15 years 23 days ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...
99
Voted
CONSTRAINTS
2010
14 years 10 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
97
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...