5387 search results - page 103 / 1078 » Generating generic functions |
115
Voted
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
99
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (ātutor generatorsā...
107
Voted
DAGM
2003
Springer
15 years 6 months ago
2003
Springer
We address the question of how to choose between diļ¬erent likelihood functions for motion estimation. To this end, we formulate motion estimation as a problem of Bayesian inferen...
109
Voted
BMCBI
2008
15 years 26 days ago
2008
eraction networks. In this abstract, we extend this approach by mining functional flow patterns for the purpose of detecting small-sized modules for specific functions. Methods Our...
95
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Recently, studies with the XCS classifier system on Boolean functions have shown that in certain types of functions simple crossover operators can lead to disruption and, conseque...