4397 search results - page 40 / 880 » Relational Algebra Operations |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
APPINF
2003
13 years 9 months ago
2003
Industrial diagnostics is an important application area for many AI formalisms. Temporal diagnostics, based on analyzing temporal relations between values of crucial variables, is...
JLP
2006
13 years 7 months ago
2006
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
TCS
2011
13 years 2 months ago
2011
We consider some Riordan arrays related to binary words avoiding a pattern p, which can be easily studied by means of an A-matrix rather than their A-sequence. Both concepts allow...