5634 search results - page 463 / 1127 » About Abstract Classes |
161
click to vote
FASE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
167
click to vote
FORMATS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
145
click to vote
FPL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper focuses on a class of problem relating to the multiplication of a single number by several coefficients that, while not constant, are drawn from a finite set ...
154
click to vote
GPCE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
147
click to vote
ICA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a set of gradient based orthogonal and nonorthogonal matrix joint diagonalization algorithms. Our approach is to use the geometry of matrix Lie groups to devel...