35 search results - page 3 / 7 » Using Interval Logic for Order Assembly |
CVPR
2006
IEEE
14 years 8 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
POPL
2006
ACM
14 years 6 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
EUSFLAT
2007
13 years 7 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
CPAIOR
2009
Springer
14 years 22 days ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
EUSFLAT
2009
13 years 4 months ago
2009
Abstract-- the paper presents a possibility formulation of oneparameter estimation that unifies some usual probability formulations. Point and confidence interval estimation are un...