1670 search results - page 254 / 334 » On Skolemization in constructive theories |
187
click to vote
AIIA
2003
Springer
15 years 11 months ago
2003
Springer
A bayesian network is an appropriate tool for working with uncertainty and probability, that are typical of real-life applications. In literature we find different approaches for b...
151
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
High dimensional data sets are encountered in many modern database applications. The usual approach is to construct a summary of the data set through a lossy compression technique...
188
click to vote
DNA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...
155
click to vote
IFSA
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that are nonlinear convolutions...
170
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
Metamorphosis between 3D objects is often the transformation between a pair of shapes that have the same topology. This paper presents a new model using Reeb graphs and their cont...