Sciweavers

273 search results - page 33 / 55
» Constructions from Dots and Lines
Sort
View
AUTOMATICA
2004
81views more  AUTOMATICA 2004»
13 years 9 months ago
Families of semipermeable curves in differential games with the homicidal chauffeur dynamics
Families of semipermeable curves in differential games with the homicidal chauffeur dynamics are studied both from theoretical and computational points of view. The knowledge of s...
Valery S. Patsko, Varvara L. Turova
JASSS
1998
82views more  JASSS 1998»
13 years 8 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
JUCS
2002
92views more  JUCS 2002»
13 years 8 months ago
Tiling the Hyperbolic Plane with a Single Pentagonal Tile
: In this paper, we study the number of tilings of the hyperbolic plane that can be constructed, starting from a single pentagonal tile, the only permitted transformations on the b...
Maurice Margenstern
MVA
2007
158views Computer Vision» more  MVA 2007»
13 years 8 months ago
Development of Ladder-type Laser Scanning System for 3-D Modeling of Vertical and Narrow Areas by Space-time Analysis
In this paper, we propose a novel type of 3-D scanning system named ‘Ladder-type laser scanning system,’ designed for scanning vertical and narrow areas. Two line scanners are...
Shintaro Ono, Katsushi Ikeuchi
LPNMR
2009
Springer
14 years 3 months ago
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
Jörg Pührer, Hans Tompits