1389 search results - page 92 / 278 » Definability as hypercomputational effect |
ICCV
2007
IEEE
14 years 20 days ago
2007
IEEE
Image smoothing, segmentation and registration are three key processing steps in many computer vision applications. In this paper, we present a novel framework for achieving all t...
ICFEM
2007
Springer
14 years 20 days ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
3DPVT
2004
IEEE
14 years 17 days ago
2004
IEEE
This paper develops a digital watermarking methodology for 3-D graphical objects defined by polygonal meshes. In watermarking or fingerprinting the aim is to embed a code in a giv...
COMPSAC
2004
IEEE
14 years 16 days ago
2004
IEEE
Data mining techniques have been developed in many applications. However, it also causes a threat to privacy. We investigate to find an appropriate balance between a need for priv...
BIRTHDAY
2006
Springer
14 years 16 days ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...