1729 search results - page 90 / 346 » Generic Haskell: Applications |
123
click to vote
OOIS
2001
Springer
15 years 9 months ago
2001
Springer
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
119
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
The activity of babies and more specifically the posture of babies is an important aspect in their safety and development. In this paper, we studied the automatic classification o...
132
click to vote
WSC
2004
15 years 6 months ago
2004
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
148
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...
220
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...