Sciweavers

4708 search results - page 285 / 942
» Generating the Structure of Argument
Sort
View
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 6 months ago
Evolution with Drifting Targets
We consider the question of the stability of evolutionary algorithms to gradual changes, or drift, in the target concept. We define an algorithm to be resistant to drift if, for s...
Varun Kanade, Leslie G. Valiant, Jennifer Wortman ...
INTELLCOMM
2004
Springer
16 years 18 hour ago
Context Adaptive Interaction with an Automatically Created Spoken Interface for Intelligent Environments
In this paper we present the interpretation and generation processes of a spoken dialogue interface for intelligent environments. The interface is automatically created for each sp...
Germán Montoro, Pablo A. Haya, Xavier Alam&...
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
SIGPLAN
2002
15 years 6 months ago
Template meta-programming for Haskell
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
Tim Sheard, Simon L. Peyton Jones
SIGSOFT
1993
ACM
15 years 10 months ago
Scalable Software Libraries
1 Many software libraries (e.g., the Booch C++ Components, libg++, NIHCL, COOL) provide components (classes) that implement data structures. Each component is written by hand and r...
Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff T...