Sciweavers

1134 search results - page 182 / 227
» Composing Tests from Examples
Sort
View
AAAI
1994
13 years 11 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen
AAAI
1994
13 years 11 months ago
The Ups and Downs of Lexical Acquisition
We have implemented an incremental lexical acquisition mechanism that learns the meanings of previously unknown words from the context in which they appear, as a part of the proce...
Peter M. Hastings, Steven L. Lytinen
AAAI
1994
13 years 11 months ago
Improving Repair-Based Constraint Satisfaction Methods by Value Propagation
A constraint satisfaction problem (CSP) is a problem to find an assignment that satisfies given constraints. An interesting approach to CSP is a repair-based method that first gen...
Nobuhiro Yugami, Yuiko Ohta, Hirotaka Hara
AR
2007
138views more  AR 2007»
13 years 10 months ago
Integrating robotics and neuroscience: brains for robots, bodies for brains
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
Michele Rucci, Daniel Bullock, Fabrizio Santini
CORR
2008
Springer
97views Education» more  CORR 2008»
13 years 10 months ago
Towards a Spreadsheet Engineering
In this paper, we report some on-going focused research, but are further keen to set it in the context of a proposed bigger picture, as follows. There is a certain depressing patt...
V. R. Vemula, David Ball, Simon R. Thorne