Sciweavers

1961 search results - page 80 / 393
» PicoDBMS: Validation and Experience
Sort
View
SE
2007
15 years 11 days ago
Requirements traceability in the model-based testing process
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
Eddy Bernard, Bruno Legeard
NIPS
1996
15 years 8 days ago
Solving the Ill-Conditioning in Neural Network Learning
Abstract. In this paper we investigate the feed-forward learning problem. The well-known ill-conditioning which is present in most feed-forward learning problems is shown to be the...
P. Patrick van der Smagt, Gerd Hirzinger
CMPB
2008
76views more  CMPB 2008»
14 years 11 months ago
Model-based identification of PEEP titrations during different volemic levels
A cardiovascular system (CVS) model has previously been validated in simulated cardiac and circulatory disease states. It has also been shown to accurately capture all main hemody...
Christina Starfinger, J. Geoffrey Chase, Christoph...
IOR
2006
173views more  IOR 2006»
14 years 11 months ago
A Branch-and-Cut Algorithm for the Dial-a-Ride Problem
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...
Jean-François Cordeau
JSS
2000
123views more  JSS 2000»
14 years 10 months ago
Approaches for broadcasting temporal data in mobile computing systems
Rapid advances in mobile communication technology have spawned many new mobile applications. A key element in many of these systems is the need to distribute real-time information...
Kam-yiu Lam, Edward Chan, Joe Chun-Hung Yuen