4772 search results - page 132 / 955 » An approach to interface synthesis |
167
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
168
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We introduce a novel approach to modeling the dynamics of human facial motion induced by the action of speech for the purpose of synthesis. We represent the trajectories of a numbe...
154
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
152
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
149
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, we address the problem of power dissipation minimization in combinational circuits implemented using pass transistor logic (PTL). We transform the problem of power ...