Sciweavers

1812 search results - page 278 / 363
» Test Early, Test Often
Sort
View
113
Voted
COR
2008
66views more  COR 2008»
15 years 3 months ago
A multi-objective model for environmental investment decision making
Investment in landscapes to achieve outcomes that have multiple environmental benefits has become a major priority in many countries. This gives rise to opportunities for mathemat...
Andrew J. Higgins, Stefan Hajkowicz, Elisabeth N. ...
135
Voted
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 3 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
135
Voted
EOR
2008
133views more  EOR 2008»
15 years 3 months ago
Vehicle routing with dynamic travel times: A queueing approach
Transportation is an important component of supply chain competitiveness since it plays a major role in the inbound, inter-facility, and outbound logistics. In this context, assig...
Tom Van Woensel, Laoucine Kerbache, Herbert Perema...
100
Voted
AUTOMATICA
2006
132views more  AUTOMATICA 2006»
15 years 3 months ago
A new autocovariance least-squares method for estimating noise covariances
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
Brian J. Odelson, Murali R. Rajamani, James B. Raw...
124
Voted
DATAMINE
2006
117views more  DATAMINE 2006»
15 years 3 months ago
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
Laura Maruster, A. J. M. M. Weijters, Wil M. P. va...