1264 search results - page 143 / 253 » Towards Theory Translation |
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Recently, the Korean government launched the IT839 project with the objective of converting Korea into a ubiquitous information society. This study investigates the role of the Ko...
CP
2007
Springer
14 years 3 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
ASWEC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
ISMVL
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we describe the properties of independent components of optical ow of moving objects. Video sequences of objects seen by an observer moving at various angles, direct...