491 search results - page 34 / 99 » Linear Quantifier Elimination |
FPL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper focuses on a class of problem relating to the multiplication of a single number by several coefficients that, while not constant, are drawn from a finite set ...
EWRL
2008
13 years 10 months ago
2008
We consider reinforcement learning in the parameterized setup, where the model is known to belong to a parameterized family of Markov Decision Processes (MDPs). We further impose ...
VR
2003
IEEE
14 years 2 months ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...
EOR
2006
13 years 8 months ago
2006
The fuzzy set is one of the powerful tools used to describe an uncertain environment. As well as quantifying any potential return and risk, portfolio liquidity is taken into accou...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Nepomnjascii's Theorem states that for all 0 < 1 and k > 0 the class of languages recognized in nondeterministic time nk and space n , NTISP[nk , n ], is contained in ...