Sciweavers

5387 search results - page 175 / 1078
» Generating generic functions
Sort
View
NAACL
1994
15 years 7 months ago
Recent Developments in the Experimental "WAXHOLM" Dialog System
Recently we have begun to build the basic tools for a generic speech-dialog system. The main modules, their function and internal communication have been specified. The different ...
Rolf Carlson
ENTCS
2008
121views more  ENTCS 2008»
15 years 6 months ago
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
David Pichardie
ENTCS
2006
89views more  ENTCS 2006»
15 years 6 months ago
A Type-theoretic Reconstruction of the Visitor Pattern
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
Peter Buchlovsky, Hayo Thielecke
NN
2006
Springer
120views Neural Networks» more  NN 2006»
15 years 6 months ago
Computational intelligence in earth sciences and environmental applications: Issues and challenges
This paper introduces a generic theoretical framework for predictive learning, and relates it to data-driven and learning applications in earth and environmental sciences. The iss...
Vladimir Cherkassky, Vladimir M. Krasnopolsky, Dim...
AEI
2004
78views more  AEI 2004»
15 years 6 months ago
Use of design patterns in analogy-based design
atterns specify generic relations among abstract design elements. We hypothesize that design patterns are productive units of analogical transfer in design. We describe a normativ...
Ashok K. Goel, Sambasiva R. Bhatta