2231 search results - page 123 / 447 » Alternation as a programming paradigm |
124
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In recent years several strategies for inferring gene regulatory networks from observed time series data of gene expression have been suggested based on Evolutionary Algo...
137
Voted
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
132
Voted
NIPS
2003
15 years 5 months ago
2003
Approximate linear programming (ALP) has emerged recently as one of the most promising methods for solving complex factored MDPs with finite state spaces. In this work we show th...
154
click to vote
IJAR
2007
15 years 4 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
135
click to vote
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
The current paradigm of using Cu interconnects for on-chip global communication is rapidly becoming a serious performance bottleneck in ultra-deep submicron (UDSM) technologies. C...