5227 search results - page 198 / 1046 » Enterprise modeling using class and instance models |
142
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
174
click to vote
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...
160
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we address the problem of registering 3D scattered data by the mean of a statistical shape model. This model is built from a training set on which a principal compon...
146
click to vote
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
In this project report we describe work in statistical parsing using the maximum entropy technique and the Alpino language analysis system for Dutch. A major difficulty in this d...
118
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we propose a novel classification algorithm that fits models of different complexity on separate regions of the input space. The goal is to achieve a balance betwee...