1818 search results - page 43 / 364 » Operant conditioning |
CONCUR
2009
Springer
13 years 6 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
AUTOMATICA
2008
13 years 8 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
WSC
1998
13 years 10 months ago
1998
This paper presents the development process of the Panama Canal Simulation Model (PCSM). The PCSM was developed by The SABRE Group (SABRE) for the Panama Canal Commission (PCC) to...
PLDI
1998
ACM
14 years 28 days ago
1998
ACM
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on de...