7109 search results - page 71 / 1422 » Process Algebra with Combinators |
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
CICLING
2005
Springer
15 years 3 months ago
2005
Springer
ECEASST
2006
14 years 10 months 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]. ...
82
Voted
CONSTRAINTS
2010
14 years 7 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...
DAC
2006
ACM
15 years 11 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...