1738 search results - page 49 / 348 » Matching Reviews to Objects using a Language Model |
134
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
133
Voted
FGR
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a novel tracking algorithm that uses dynamic programming to determine the path of target objects and that is able to track an arbitrary number of different objects. The...
114
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper we present a new approach for modelling multiple object scenes using images taken from various viewpoints. The voxel representation produced by the space carving is ...
156
Voted
ROOM
2000
15 years 4 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
148
click to vote
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...