Sciweavers

1034 search results - page 39 / 207
» Wide Classes
Sort
View
KBSE
1998
IEEE
14 years 27 days ago
From Z to BON/Eiffel
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
Richard F. Paige, Jonathan S. Ostroff
CADE
2002
Springer
14 years 9 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
FOCI
2007
IEEE
14 years 3 months ago
On the Convergence of Immune Algorithms
Immune Algorithms have been used widely and successfully in many computational intelligence areas including optimization. Given the large number of variants of each operator of thi...
Vincenzo Cutello, Giuseppe Nicosia, Mario Romeo, P...
CVPR
2006
IEEE
14 years 2 months ago
Nonlinear Mean Shift for Clustering over Analytic Manifolds
The mean shift algorithm is widely applied for nonparametric clustering in Euclidean spaces. Recently, mean shift was generalized for clustering on matrix Lie groups. We further e...
Raghav Subbarao, Peter Meer
OOPSLA
2005
Springer
14 years 2 months ago
Interaction-based programming with classages
This paper presents Classages, a novel interaction-centric object-oriented language. Classes and objects in Classages are fully encapsulated, with explicit interfaces for all inte...
Yu David Liu, Scott F. Smith