4143 search results - page 263 / 829 » A theory of distributed aspects |
175
click to vote
JMLR
2006
15 years 6 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
150
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
222
click to vote
EXPERT
2000
15 years 6 months ago
2000
In 1993 our group at the MIT Artificial Intelligence Laboratory began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence...
139
click to vote
EXPERT
2000
15 years 6 months ago
2000
The Behavior-Based Robotics course at Northwestern University is a project-oriented course that gives undergraduate and graduate students exposure to programming research-grade ro...
191
click to vote
ENTCS
2002
15 years 6 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...