2467 search results - page 295 / 494 » Finite State Machines |
189
click to vote
COR
2008
15 years 6 months ago
2008
Operations research and management science are often confronted with sequential decision making problems with large state spaces. Standard methods that are used for solving such c...
151
click to vote
ICAI
2009
15 years 4 months ago
2009
- We address the issues of improving the feature generation methods for the value-function approximation and the state space approximation. We focus the improvement of feature gene...
172
click to vote
VMCAI
2005
Springer
16 years 1 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
172
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
210
click to vote
CPHYSICS
2010
15 years 6 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...