1070 search results - page 64 / 214 » Type Classes with Functional Dependencies |
124
Voted
NIPS
1994
15 years 5 months ago
1994
Radial Basis Function (RBF) Networks, also known as networks of locally{tuned processing units (see 6]) are well known for their ease of use. Most algorithms used to train these t...
134
Voted
GCB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract: Investigations into the origins and evolution of regulatory mechanisms require quantitative estimates of the abundance and co-occurrence of functional protein domains amo...
133
Voted
JUCS
2010
15 years 2 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
132
click to vote
CG
2000
Springer
15 years 3 months ago
2000
Springer
Chaotic attractors generated by the iteration of polynomial functions with cyclic symmetry have been the subject of recent study. A new formulation is investigated which generates ...
158
Voted
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...