2588 search results - page 356 / 518 » Applications of Kolmogorov complexity to computable model th... |
CIDM
2007
IEEE
15 years 6 months ago
2007
IEEE
Kernel methods are effective approaches to the modeling of structured objects in learning algorithms. Their major drawback is the typically high computational complexity of kernel ...
113
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
145
Voted
VISUALIZATION
1997
IEEE
15 years 6 months ago
1997
IEEE
Navigation through 3D spaces is required in many interactive graphics and virtual reality applications. We consider the subclass of situations in which a 2D device such as a mouse...
117
Voted
CGF
2004
15 years 1 months ago
2004
Sound is an indispensable element for the simulation of a realistic virtual environment. Therefore, there has been much recent research focused on the simulation of realistic soun...
113
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...