20126 search results - page 76 / 4026 » Timed Transition Systems |
129
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
101
click to vote
AAAI
2010
15 years 4 months ago
2010
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
167
click to vote
RSA
2006
15 years 3 months ago
2006
We present a (non-standard) probabilistic analysis of dynamic data structures whose sizes are considered as dynamic random walks. The basic operations (insertion, deletion, positi...
ICEIS
2007
IEEE
15 years 7 months ago
2007
IEEE
146
click to vote
EOR
2008
15 years 3 months ago
2008
We study firm's strategy to determine its product price and warranty period, and plan the spare parts manufacturing so as to maximize its profit and at the same time to fulfi...