Sciweavers

3736 search results - page 469 / 748
» Generative Programming
Sort
View
APN
2004
Springer
15 years 11 months ago
EMiT: A Process Mining Tool
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
143
Voted
ACG
2003
Springer
15 years 11 months ago
The 7-piece Perfect Play Lookup Database for the Game of Checkers
Many research teams and individuals have computed endgame databases for the game of chess which use the distance-to-mate metric, enabling their software to forecast the number of m...
Ed Trice, Gil Dodgen
PEPM
1994
ACM
15 years 10 months ago
Binding-Time Analysis for Standard ML
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
Lars Birkedal, Morten Welinder
EH
2004
IEEE
163views Hardware» more  EH 2004»
15 years 10 months ago
Towards Evolvable Analog Artificial Neural Networks Controllers
This work deals with the design of analog circuits for Artificial Neural Networks (ANNs) controllers using an Evolvable Hardware (EHW) platform. ANNs are massively parallel system...
José Franco Machado do Amaral, Jorge Lu&iac...
144
Voted
EOR
2007
89views more  EOR 2007»
15 years 6 months ago
Managing a portfolio of long term service agreements
Long-term service agreements (LTSA) for the maintenance of capital-intensive equipment such as gas turbines and aircraft engines are gaining wide acceptance. A typical LTSA contra...
Srinivas Bollapragada, Aparna Gupta, Chaipat Lawsi...