Sciweavers

2748 search results - page 298 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
ICFEM
2007
Springer
15 years 11 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
KDD
2004
ACM
147views Data Mining» more  KDD 2004»
15 years 10 months ago
Clustering time series from ARMA models with clipped data
Clustering time series is a problem that has applications in a wide variety of fields, and has recently attracted a large amount of research. In this paper we focus on clustering...
Anthony J. Bagnall, Gareth J. Janacek
GEOINFO
2003
15 years 6 months ago
Modelling Spatial Relations by Generalized Proximity Matrices
One of the main challenges for the development of spatial information theory is the formalization of the concepts of space and spatial relations. Currently, most spatial data struc...
Ana Paula Dutra de Aguiar, Gilberto Câmara, ...
SMA
2009
ACM
149views Solid Modeling» more  SMA 2009»
15 years 11 months ago
A sketching interface for feature curve recovery of free-form surfaces
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...
Ellen Dekkers, Leif Kobbelt, Richard R. Pawlicki, ...
BMVC
2010
15 years 2 months ago
Local Gaussian Processes for Pose Recognition from Noisy Inputs
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
Martin Fergie, Aphrodite Galata