4636 search results - page 219 / 928 » Modelling and Validation with VipTool |
DAGSTUHL
2003
13 years 9 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
GEO
2000
13 years 9 months ago
2000
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...
ANLP
1997
13 years 9 months ago
1997
We present a trainable model for identifying sentence boundaries in raw text. Given a corpus annotated with sentence boundaries, our model learns to classify each occurrence of., ...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We propose a simple model of human motion as a switching linear dynamical system where the switches correspond to contact forces with the ground. This significantly improves the m...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
A novel active contour model named Variable Background Active Contour model is proposed and applied for the detection of thyroid nodules in ultrasound images. The new model offers ...