1669 search results - page 150 / 334 » Structured Specification of Model Interpreters |
141
Voted
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
115
Voted
FOIS
2010
15 years 5 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
135
Voted
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
This paper describes a structure from motion and recognition paradigm for generating 3D models from 2D sets of images. In particular we consider the domain of architectural photog...
129
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
When labelled training data is plentiful, discriminative techniques are widely used since they give excellent generalization performance. However, for large-scale applications suc...
125
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...