5900 search results - page 120 / 1180 » Dependable Systems |
PODS
2010
ACM
13 years 10 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
FUIN
2010
13 years 7 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
An improved approach for the estimation of the frequency dependent reverberation time (RT) by means of allpass transformed filterbanks is presented. It is shown that by means of ...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
CADE
2004
Springer
14 years 3 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...