8080 search results - page 1510 / 1616 » From Computer Networks to Agent Networks |
145
Voted
EPEW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
128
Voted
BILDMED
2007
15 years 5 months ago
2007
This work aims to propose an interactive method for a iconic and textual annotation of digital mammograms. The suggested annotation tool consists of a semantic network to represent...
124
Voted
FORTE
2007
15 years 5 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
138
Voted
IADIS
2008
15 years 5 months ago
2008
After an oil spill it is essential to know if an area is going to be affected by the oil slicks generated. The system presented here forecasts the presence or not of oil slicks in...
99
Voted
ICONIP
2008
15 years 5 months ago
2008
Practical Recurrent Learning (PRL) has been proposed as a simple learning algorithm for recurrent neural networks[1][2]. This algorithm enables learning with practical order O(n2 )...