1748 search results - page 261 / 350 » Acceleration of the EM algorithm |
119
Voted
JAR
2002
15 years 2 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
TODAES
2008
15 years 1 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
111
Voted
VR
2010
IEEE
15 years 24 days ago
2010
IEEE
We propose a novel interface called Twinkle for interacting with an arbitrary physical surface using a handheld projector and a camera. When a user flashes a projection light on ...
110
click to vote
ICRA
2010
IEEE
15 years 11 days ago
2010
IEEE
To build autonomous robots capable to plan and control tasks in human environments, we need a description of trajectories that allows the robot to reason on his moves. In this pape...
115
click to vote
ICIP
2009
IEEE
15 years 5 days ago
2009
IEEE
This paper proposes a new approach for depth image-based rendering (DIBR) with low resolution depth using the 3D propagation algorithm. Our novel depth edge enhancement method ef ...