CP
1998
Springer
14 years 6 hour ago
1998
Springer
CP
1998
Springer
14 years 6 hour ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
CP
1998
Springer
14 years 6 hour ago
1998
Springer
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...
CP
1998
Springer
14 years 6 hour ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
AUSAI
1998
Springer
14 years 8 hour ago
1998
Springer
Decision tree grafting adds nodes to inferred decision trees. Previous research has demonstrated that appropriate grafting techniques can improve predictive accuracy across a wide ...
AUSAI
1998
Springer
14 years 8 hour ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
AUSAI
1998
Springer
14 years 8 hour ago
1998
Springer
AUSAI
1998
Springer
14 years 8 hour ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
ASSISTIVE
1998
Springer
14 years 8 hour ago
1998
Springer
Many people who use wheelchairs are unable to control a powered wheelchair with the standard joystick interface. A robotic wheelchair can provide users with driving assistance, tak...
ASSISTIVE
1998
Springer
14 years 8 hour ago
1998
Springer
In this paper, wepresent a prototype MTsystem named SYUWANwhich can translate Japanese into Japanesesign language. Oneof the most important problemsin this translation is that the...