8824 search results - page 1707 / 1765 » On the Complexity of Real Functions |
165
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
177
click to vote
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the simulation results of a model of biological development for neural networks based on a regulatory genome. The model’s results are analyzed using the fra...
153
click to vote
IEEEPACT
1998
IEEE
15 years 8 months ago
1998
IEEE
Hybrid branch predictors combine the predictions of multiple single-level or two-level branch predictors. The prediction-combining hardware -- the "meta-predictor" -may ...
155
click to vote
HPCN
1998
Springer
15 years 8 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
159
click to vote
PKDD
1998
Springer
15 years 8 months ago
1998
Springer
TextVis is a visual data mining system for document collections. Such a collection represents an application domain, and the primary goal of the system is to derive patterns that p...