1753 search results - page 114 / 351 » Reducibility of domain representations and Cantor-Weihrauch ... |
DICTA
2007
13 years 10 months ago
2007
Current research on shape based classification has been generally aimed at utilising various visual features. Previous research has shown that the existing knowledge in a specific...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
In lossy image compression schemes utilizing the discrete cosine transform (DCT), quantization of the DCT coefficients introduces error in the image representation and a loss of s...
SAS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
EKNOW
2009
13 years 6 months ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...