Sciweavers

8582 search results - page 158 / 1717
» Here or There
Sort
View
ESOP
1994
Springer
15 years 10 months ago
Compilation of Head and Strong Reduction
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
Pascal Fradet
COLT
1992
Springer
15 years 10 months ago
Dominating Distributions and Learnability
We consider PAC-learning where the distribution is known to the student. The problem addressed here is characterizing when learnability with respect to distribution D1 implies lea...
Gyora M. Benedek, Alon Itai
ISAAC
1992
Springer
186views Algorithms» more  ISAAC 1992»
15 years 10 months ago
Algorithms for Finding Non-Crossing Paths with Minimum Total Length in Plane Graphs
Let G be an undirected plane graph with non-negative edge length, and let k terminal pairs lie on two specified face boundaries. This paper presents an algorithm for finding k &quo...
Jun-ya Takahashi, Hitoshi Suzuki, Takao Nishizeki
SSDBM
1992
IEEE
125views Database» more  SSDBM 1992»
15 years 10 months ago
Modelling Ecological Data
Ecological surveys generate large quantities of data database technology has not yet reached its full potential in this area. Here we investigate approaches to modelling ecologica...
Peter J. Barclay, Jessie B. Kennedy
ACAL
2007
Springer
15 years 10 months ago
Directed Evolution of an Artificial Cell Lineage
Biological development is a complex process that mediates between genotypes, to which mutations occur, and phenotypes, on which selection acts. Properties of development can theref...
Nicholas Geard, Janet Wiles