562 search results - page 72 / 113 » On theoretical backgrounds of CAD |
ERSHOV
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
GI
2008
Springer
13 years 8 months ago
2008
Springer
: This project sets a discussion about possible improvements for mobile menu structuring. Navigation on mobile phones is supposed to get quicker and easier. To reach for better use...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
PAC-MDP algorithms approach the exploration-exploitation problem of reinforcement learning agents in an effective way which guarantees that with high probability, the algorithm pe...
IJRR
2006
13 years 7 months ago
2006
In this paper, a methodology is proposed for the analysis of the force capabilities of connected differential mechanisms. These systems are the key elements used to extend the prin...
SCFBM
2008
13 years 7 months ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...