9405 search results - page 1493 / 1881 » Computing a Model of Set Theory |
219
click to vote
APGV
2005
ACM
16 years 10 days ago
2005
ACM
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...
168
click to vote
APN
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
199
click to vote
PERVASIVE
2005
Springer
16 years 8 days ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
169
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
175
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...