1174 search results - page 150 / 235 » Derivation of Characteristic Formulae |
136
click to vote
GEOINFORMATICA
2008
15 years 4 months ago
2008
Skeletonization of polygons is a technique, which is often applied to problems of cartography and geographic information science. Especially it is needed for generalization tasks ...
131
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
143
click to vote
IJRR
2006
15 years 4 months ago
2006
In this paper we study the time evolution of the position estimates' covariance in Cooperative Simultaneous Localization and Mapping (C-SLAM), and obtain analytical upper boun...
113
click to vote
EOR
2007
15 years 4 months ago
2007
This paper proposes a multiple dependent (or deferred) state sampling plan by variables for the inspection of normally distributed quality characteristics. The decision upon the a...
ORI
2008
15 years 4 months ago
2008
One of the important sectors within gambling is that of gaming machines. This industry used to favour approaches based on long-run simulations or complete enumerations of all poss...