8154 search results - page 1310 / 1631 » Understanding changes in use cases: A case study |
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
156
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Abstract-- The Saint-Venant equations describe the dynamics of one dimensional open-channel flow. The paper investigates linearized Saint-Venant equations modes and their control. ...
164
click to vote
CCE
2006
15 years 6 months ago
2006
The class of stochastic nonlinear programming (SNLP) problems is important in optimization due to the presence of nonlinearity and uncertainty in many applications, including thos...
176
click to vote
CN
2006
15 years 6 months ago
2006
We propose a measurement-based routing algorithm to load-balance intradomain traffic along multiple paths for multiple unicast sources. Multiple paths are established using overla...
166
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this article, we describe a new method of extracting information from signals, called functional dissipation, that proves to be very effective for enhancing classification of h...