2887 search results - page 50 / 578 » Name Generation and Linearity |
158
click to vote
ICAI
2004
15 years 7 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
166
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
132
click to vote
IPPS
2009
IEEE
16 years 16 days ago
2009
IEEE
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and...
187
click to vote
AAAI
2011
14 years 5 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
127
click to vote
CEC
2007
IEEE
16 years 7 days ago
2007
IEEE
— Addressing dynamic optimization problems has attracted a growing interest from the evolutionary algorithm community in recent years due to its importance in the applications of...