1445 search results - page 35 / 289 » Properties of state spaces and their applications |
148
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
131
click to vote
IJSYSC
2010
15 years 4 months ago
2010
This paper applies three different control techniques to the design of a quarter car semiactive suspension system. The three techniques, originally developed to solve a constrain...
171
click to vote
JCP
2008
15 years 6 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
131
click to vote
ICALP
2007
Springer
16 years 8 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
209
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...