9626 search results - page 379 / 1926 » Invariant Based Programming |
189
click to vote
GREC
2005
Springer
16 years 7 days ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
173
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
172
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
187
click to vote
DSMML
2004
Springer
16 years 3 days ago
2004
Springer
The informative vector machine (IVM) is a practical method for Gaussian process regression and classification. The IVM produces a sparse approximation to a Gaussian process by com...
156
click to vote
3DIM
2003
IEEE
16 years 16 hour ago
2003
IEEE
In this paper, we investigate the utility of static anthropometric distances as a biometric for human identification. The 3D landmark data from the CAESAR database is used to form...