2638 search results - page 331 / 528 » A Framework for Automatic Debugging |
197
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
164
click to vote
PRICAI
1998
Springer
15 years 11 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
170
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
180
Voted
CADE
1994
Springer
15 years 11 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
161
Voted
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In previous work [4] a framework was demonstrated that allows an autonomous robot to automatically synthesize physically-realistic models of its own body. Here it is demo...