392 search results - page 52 / 79 » An Algebraic Representation of Calendars |
ICDE
2000
IEEE
14 years 11 months ago
2000
IEEE
Most real-world database applications contain a substantial portion of time-referenced, or temporal, data. Recent advances in temporal query languages show that such database appl...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, a multilinear approach based on image texture for face recognition is present. First, we extract the texture features of the facial images using the Local Binary Pa...
MKM
2005
Springer
14 years 3 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
DSVIS
1995
Springer
14 years 1 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...