2067 search results - page 95 / 414 » Logics of propositional control |
111
click to vote
AUSAI
1998
Springer
15 years 6 months 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...
128
click to vote
JAIR
2002
15 years 1 months ago
2002
We develop, analyze, and evaluate a novel, supervised, specific-to-general learner for a simple temporal logic and use the resulting algorithm to learn visual event definitions fr...
121
click to vote
ICCD
1993
IEEE
15 years 5 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
NIME
2005
Springer
15 years 7 months ago
2005
Springer
This paper will demonstrate the use of the Smart Controller workbench in the Interactive Bell Garden. Keywords Control Voltage, Open Sound Control, Algorithmic Composition, MIDI, ...
FUZZY
2004
Springer
15 years 7 months ago
2004
Springer