1592 search results - page 183 / 319 » On the Equality of Probabilistic Terms |
159
click to vote
CONCUR
2005
Springer
16 years 10 hour ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
161
click to vote
FPL
2005
Springer
16 years 2 hour ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
168
click to vote
GECCO
2005
Springer
16 years 40 min ago
2005
Springer
During the optimization of a constrained problem using evolutionary algorithms (EAs), an individual in the population can be described using three important properties, i.e., obje...
221
click to vote
GECCO
2005
Springer
16 years 6 min ago
2005
Springer
Choosing the right representation for a problem is important. In this article we introduce a linear genetic programming approach for motif discovery in protein families, and we al...
153
click to vote
ISPD
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents an efficient method for optimizing the design of power/ground (P/G) networks by using locally regular, globally irregular grids. The procedure divides the pow...