Sciweavers

3096 search results - page 309 / 620
» Theory and Use of the EM Algorithm
Sort
View
ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
16 years 1 months ago
Solving Parity Games in Practice
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
Oliver Friedmann, Martin Lange
VMCAI
2007
Springer
16 years 23 days ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
COMPGEOM
2003
ACM
15 years 12 months ago
Incremental constructions con BRIO
Randomized incremental constructions are widely used in computational geometry, but they perform very badly on large data because of their inherently random memory access patterns...
Nina Amenta, Sunghee Choi, Günter Rote
ICRA
2002
IEEE
141views Robotics» more  ICRA 2002»
15 years 11 months ago
Pseudoinverse Trajectory Control of Redundant Manipulators: A Fractional Calculus Perspective
Abstract— Redundant manipulators have some advantages when compared with classical arms because they allow the trajectory optimization, both on the free space and on the presence...
Fernando B. M. Duarte, José António ...
SIBGRAPI
1999
IEEE
15 years 11 months ago
Developing Morphological Building Blocks: From Design to Implementation
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
Marcos Cordeiro d'Ornellas, Rein van den Boomgaard