1818 search results - page 84 / 364 » Operant conditioning |
DAC
1990
ACM
14 years 26 days ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
ICRA
1995
IEEE
14 years 10 days ago
1995
IEEE
This paper reports preliminary experiments with a provably correct model-based adaptive robot control algorithm for simultaneous position and force trajectory tracking of a robot ...
CCE
2005
13 years 8 months ago
2005
The process to be modeled produces micro-hollow particles based on spray drying technology. This process involves droplet formation, solvent(s) evaporation, formation of the imper...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
In previous work, we showed that using a lattice instead of the 1-best path to represent both the query and the utterance being searched is beneficial for spoken keyword spotting...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...