6274 search results - page 936 / 1255 » Proofs, Programs, Processes |
108
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The aim of this research is twofold: Firstly, to model and solve a complex nurse scheduling problem with an integer programming formulation and evolutionary algorithms. Secondly, ...
125
click to vote
ENTCS
2008
15 years 3 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
101
click to vote
ERCIM
2008
15 years 3 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
113
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
This paper examines a problem related to the optimal risk management of banks in a stochastic dynamic setting. In particular, we minimize7 market and capital adequacy risk that in...
140
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...