1124 search results - page 190 / 225 » Generalized Conditioning in Neighbourhood Models |
166
click to vote
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
155
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
215
click to vote
GLVLSI
2009
IEEE
15 years 3 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
184
click to vote
ICC
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we study the fundamental properties of broadcasting in multi-hop wireless networks. Previous studies have shown that, as long as broadcast capacity is concerned, asy...
167
click to vote
CORR
2011
Springer
15 years 23 days ago
2011
Springer
Abstract. We present and discuss the results of an experimental analysis in the design of Boolean networks by means of genetic algorithms. A population of networks is evolved with ...