2016 search results - page 7 / 404 » Megamaps: Construction and Examples |
ANTS
2008
Springer
13 years 10 months ago
2008
Springer
We construct explicit examples of K3 surfaces over
IJCAI
2007
13 years 10 months ago
2007
Choosing good features to represent objects can be crucial to the success of supervised machine learning algorithms. Good high-level features are those that concentrate informatio...
ICML
1991
IEEE
13 years 12 months ago
1991
IEEE
Artificial neural networks have proven to be a successful, general method for inductive learning from examples. However, they have not often been viewed in terms of constructive ...
FOSSACS
2000
Springer
14 years 1 days ago
2000
Springer
A new treatment of data refinement in typed lambda calculus is proposed, phrased in terms of pre-logical relations [HS99] rather than logical relations, and incorporating a constru...
IJCAI
1989
13 years 9 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...