1205 search results - page 198 / 241 » Program Extraction from Large Proof Developments |
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Time series have been a major topic of interest and analysis for hundreds of years, with forecasting a central problem. A large body of analysis techniques has been developed, par...
115
click to vote
APN
2004
Springer
15 years 6 months ago
2004
Springer
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...
104
click to vote
ELPUB
2003
ACM
15 years 6 months ago
2003
ACM
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...
187
click to vote
WAE
2001
15 years 2 months ago
2001
The ability to provide uniform shared-memory access to a significant number of processors in a single SMP node brings us much closer to the ideal PRAM parallel computer. In this pa...
106
click to vote
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Determining the precise spatial extent of expression of genes across different tissues, along with knowledge of the biochemical function of the genes is critical for understanding ...