1371 search results - page 149 / 275 » A Model for Large Scale Self-Stabilization |
113
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
139
Voted
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
131
Voted
ICANN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We investigate the extent to which eye movements in natural dynamic scenes can be predicted with a simple model of bottom-up saliency, which learns on different visual re...
114
click to vote
CN
2006
15 years 3 months ago
2006
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...
149
Voted
COLING
2002
15 years 3 months ago
2002
In this paper we propose an integration of a selforganizing map and semantic networks from WordNet for a text classification task using the new Reuters news corpus. This neural mo...