Sciweavers

5578 search results - page 304 / 1116
» Base Class Injection
Sort
View
FOSSACS
2004
Springer
16 years 1 days ago
On Term Rewriting Systems Having a Rational Derivation
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...
Antoine Meyer
AVSS
2003
IEEE
15 years 12 months ago
A Reliable-Inference Framework for Recognition of Human Actions
We present an action recognition method based on the concept of reliable inference. Our approach is formulated in a probabilistic framework using posterior class ratios to verify ...
James W. Davis, Ambrish Tyagi
ISORC
2002
IEEE
15 years 11 months ago
Asynchronous Transfer of Control in the Real-Time Specification for Java
The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the T...
Benjamin M. Brosgol, Scott Robbins, Ricardo J. Has...
PODS
1999
ACM
153views Database» more  PODS 1999»
15 years 11 months ago
Consistent Query Answers in Inconsistent Databases
In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. Thi...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
FOCS
1990
IEEE
15 years 10 months ago
IP=PSPACE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
Adi Shamir