4270 search results - page 315 / 854 » Implementation of interactive poster |
176
click to vote
IJCAI
1997
15 years 8 months ago
1997
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
144
click to vote
DAGSTUHL
1990
15 years 8 months ago
1990
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
227
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
To counter the increasing number of online threats for users' privacy and security, this paper explores the design of an ambient security indicator, in form of a standard key...
188
click to vote
HAPTICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...