Sciweavers

549 search results - page 70 / 110
» The corner arc algorithm
Sort
View
FSTTCS
2010
Springer
14 years 9 months ago
Place-Boundedness for Vector Addition Systems with one zero-test
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
Rémi Bonnet, Alain Finkel, Jérô...
ECCV
1994
Springer
16 years 29 days ago
Recursive Affine Structure and Motion from Image Sequences
Abstract. This paper presents a new algorithm for structure from motion from an arbitrary number of tracked features over an arbitrary number of images, which possesses several adv...
Philip F. McLauchlan, Ian D. Reid, David W. Murray
SODA
1997
ACM
119views Algorithms» more  SODA 1997»
15 years 14 days ago
Map Labeling and Its Generalizations
Map labeling is of fundamental importance in cartography and geographical information systems and is one of the areas targeted for research by the ACM Computational Geometry Impac...
Srinivas Doddi, Madhav V. Marathe, Andy Mirzaian, ...
77
Voted
ECAI
2006
Springer
15 years 2 months ago
Inverse Consistencies for Non-Binary Constraints
We present a detailed study of two inverse consistencies for non-binary constraints: relational path inverse consistency (rel PIC) and pairwise inverse consistency (PWIC). These ar...
Kostas Stergiou, Toby Walsh
109
Voted
AUTOMATICA
2007
97views more  AUTOMATICA 2007»
14 years 11 months ago
Control of dynamic keyhole welding process
Weld joint penetration control is a basic research topic in the welding research community. The authors propose using an innovative plasma arc welding process referred to as the q...
Y. M. Zhang, Y. C. Liu