2681 search results - page 239 / 537 » Problem F |
108
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
The general stochastic optimal control (SOC) problem in robotics scenarios is often too complex to be solved exactly and in near real time. A classical approximate solution is to ...
80
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
Dimensionality reduction is the problem of finding a low-dimensional representation of highdimensional input data. This paper examines the case where additional information is kno...
230
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
84
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Tangible User Interface (TUI) research has become increasingly widespread over the past 25 years. It is an essential component of Ubiquitous Computing and Augmented Reality resear...
91
Voted
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...