2018 search results - page 289 / 404 » Code Normal Forms |
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
VLBV
2005
Springer
14 years 2 months ago
2005
Springer
A technique for performing progressive mesh-based motion estimation in a layered fashion is presented. Motion compensation based on image warping provides a block prediction free ...
ICIAR
2004
Springer
14 years 2 months ago
2004
Springer
Image retrieval and image compression have been pursued separately in the past. Only little research has been conducted on a synthesis of the two by allowing image retrieval to be ...
WABI
2004
Springer
14 years 2 months ago
2004
Springer
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two novel operations, called node fusion and edge fusion, besides the...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...