1748 search results - page 261 / 350 » Acceleration of the EM algorithm |
112
click to vote
JAR
2002
15 years 1 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 ...
102
click to vote
VR
2010
IEEE
14 years 12 months 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 ...
ICRA
2010
IEEE
14 years 11 months 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...
103
click to vote
ICIP
2009
IEEE
14 years 11 months 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 ...