18306 search results - page 3460 / 3662 » Algorithmics in Exponential Time |
123
Voted
COLT
2010
Springer
15 years 6 days ago
2010
Springer
In recent years analysis of complexity of learning Gaussian mixture models from sampled data has received significant attention in computational machine learning and theory commun...
158
Voted
GROUP
2010
ACM
15 years 5 days ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
148
Voted
ICDM
2010
IEEE
15 years 4 days ago
2010
IEEE
Discovering patterns in a sequence is an important aspect of data mining. One popular choice of such patterns are episodes, patterns in sequential data describing events that often...
116
Voted
ICRA
2010
IEEE
15 years 3 days ago
2010
IEEE
Robotic manipulators on non-inertial platforms, such as ships, have to endure large inertial forces due to the non-inertial motion of the platform. When the non-inertial platform&#...
128
Voted
ICTAC
2010
Springer
15 years 3 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...