2702 search results - page 343 / 541 » Practically Applicable Formal Methods |
123
click to vote
ATMOS
2007
15 years 4 months ago
2007
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
129
click to vote
WSC
2000
15 years 3 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
120
Voted
ETS
2000
IEEE
15 years 2 months ago
2000
IEEE
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...
115
click to vote
MICCAI
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Learning-based approaches have become increasingly practical in medical imaging. For a supervised learning strategy, the quality of the trained algorithm (usually a class...
114
Voted
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Real production applications ranging from enterprise applications to large e-commerce sites share a crucial but seldom-noted characteristic: The relative frequencies of transactio...