848 search results - page 91 / 170 » Randomness and the linear degrees of computability |
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
NORDICHI
2004
ACM
15 years 5 months ago
2004
ACM
We describe a rhythmic interaction mechanism for mobile devices. A PocketPC with a three degree of freedom linear acceleration meter is used as the experimental platform for data ...
ICANN
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we discuss fuzzy classifiers based on Kernel Discriminant Analysis (KDA) for two-class problems. In our method, first we employ KDA to the given training data and ca...
IPCO
2008
15 years 1 months ago
2008
We study the stochastic machine replenishment problem, which is a canonical special case of closed multiclass queuing systems in Markov decision theory. The problem models the sche...