342 search results - page 19 / 69 » Coalgebraic Symbolic Semantics |
SEMCO
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a robust invariant descriptor for symbol-based image recognition and retrieval. A modified Hough-based Transform is used to extract parameter space informatio...
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
NLDB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
DOLAP
2005
ACM
13 years 11 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...