1818 search results - page 84 / 364 » Operant conditioning |
DAC
1990
ACM
15 years 3 months 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
15 years 2 months 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
14 years 10 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
15 years 5 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...
110
click to vote
FMCAD
2008
Springer
15 years 15 days 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...