Sciweavers

2714 search results - page 231 / 543
» On the Notion of Value Object
Sort
View
KR
2004
Springer
15 years 12 months ago
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
Ken Kaneiwa, Riichiro Mizoguchi
LATIN
2004
Springer
15 years 12 months ago
How Expressions Can Code for Automata
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
Sylvain Lombardy, Jacques Sakarovitch
OTM
2004
Springer
15 years 12 months ago
Model-Driven Design of Distributed Applications
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...
João Paulo A. Almeida
APN
2003
Springer
15 years 11 months ago
Deciding Life-Cycle Inheritance on Petri Nets
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
H. M. W. (Eric) Verbeek, Twan Basten
ICPR
2002
IEEE
15 years 11 months ago
Contour Features for Colposcopic Image Classification by Artificial Neural Networks
This article presents colposcopic image classification based on contour parameters used in a comparison study of different artificial neural networks and the knearest neighbors re...
Isabelle Claude, Renaud Winzenrieth, Philippe Poul...