4397 search results - page 451 / 880 » Relational Algebra Operations |
165
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
146
click to vote
CHARME
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
144
click to vote
DBPL
1999
Springer
15 years 10 months ago
1999
Springer
We consider IES(SQL), the incremental evaluation system over an SQL-like language with grouping, arithmetics, and aggregation. We show that every second order query is in IES(SQL) ...
154
click to vote
SIGDOC
1998
ACM
15 years 10 months ago
1998
ACM
The act-function-phase model systematically relates the acts of the dialogue at time-of-use to the acts of the dialogue between author and users at time-of-development. We show ho...
144
click to vote
ICANN
1997
Springer
15 years 10 months ago
1997
Springer
A new method for performing a nonlinear form of Principal Component Analysis is proposed. By the use of integral operator kernel functions, one can e ciently compute principal comp...