Sciweavers

1187 search results - page 89 / 238
» Graph-Based Procedural Abstraction
Sort
View
INFORMATICALT
2000
141views more  INFORMATICALT 2000»
14 years 9 months ago
Intelligent GIS: Architectural Issues and Implementation Methods
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
Viktoras Paliulionis
CAD
1998
Springer
14 years 9 months ago
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
Xiao-Shan Gao, Shang-Ching Chou
INFORMATICALT
2002
136views more  INFORMATICALT 2002»
14 years 9 months ago
Comparison of Poisson Mixture Models for Count Data Clusterization
Abstract. Five methods for count data clusterization based on Poisson mixture models are described. Two of them are parametric, the others are semi-parametric. The methods emlploy ...
Jurgis Susinskas, Marijus Radavicius
LISP
2002
81views more  LISP 2002»
14 years 9 months ago
Linear Continuation-Passing
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hay...
MOC
2002
148views more  MOC 2002»
14 years 9 months ago
Convergence of an iterative algorithm for solving Hamilton-Jacobi type equations
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...
Jerry Markman, I. Norman Katz