4087 search results - page 80 / 818 » Sets in Types, Types in Sets |
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— We introduce in this paper methods for finding mutually corresponding dependent components from two different but related data sets in an unsupervised (blind) manner. The basi...
GISCIENCE
2004
Springer
14 years 2 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
CAEPIA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
ASPDAC
1999
ACM
14 years 1 months ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
ESOP
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...