7121 search results - page 953 / 1425 » Modeling Signs Using Functional Data Analysis |
205
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
218
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
212
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
We propose a novel technique for semi-supervised image annotation which introduces a harmonic regularizer based on the graph Laplacian of the data into the probabilistic semantic ...
189
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
207
click to vote
IJCV
2010
15 years 5 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...