6978 search results - page 1022 / 1396 » On Proofs in System P |
206
click to vote
CDC
2009
IEEE
16 years 12 days ago
2009
IEEE
Abstract— Q-learning is a technique used to compute an optimal policy for a controlled Markov chain based on observations of the system controlled using a non-optimal policy. It ...
191
click to vote
ACSAC
1998
IEEE
15 years 12 months ago
1998
IEEE
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...
158
click to vote
HICSS
1998
IEEE
15 years 12 months ago
1998
IEEE
In a deregulated environment, independent generators and utility generators may or may not participate in the load-frequency control of the system. For the purpose of evaluating t...
206
click to vote
POPL
1996
ACM
15 years 12 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
145
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
Assembly accuracies of 0.05-0.1 mm, needed for electronic product manufacture, are attainable with current automated manufacturing equipment. Aggressive electronic system designs ...