1722 search results - page 245 / 345 » Ontology Formalism Transformation |
ACCV
2007
Springer
14 years 4 months ago
2007
Springer
The problem of colour image segmentation is investigated in the context of mathematical morphology. Morphological operators are extended to colour images by means of a lexicographi...
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
FLOPS
2004
Springer
14 years 3 months ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...