860 search results - page 48 / 172 » A Process Algebra Based Verification of a Production System |
SIGMOD
2005
ACM
14 years 2 months ago
2005
ACM
One of the most powerful features of SQL is the use of nested queries. Most research work on the optimization of nested queries focuses on aggregate subqueries. However, the solut...
VLDB
1991
ACM
14 years 14 days ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
PROFES
2001
Springer
14 years 1 months ago
2001
Springer
“We boldly go where no man has gone before”. We want to announce new products and services and use matching supporting information systems. All this more rapidly than before an...
ICASSP
2011
IEEE
13 years 21 days ago
2011
IEEE
It has been previously demonstrated that systems based on block wise local features and Gaussian mixture models (GMM) are suitable for video based talking face verification due t...
ICPR
2010
IEEE
13 years 11 months ago
2010
IEEE
It is known that the use of video can help improve the performance of face verification systems. However, processing video in resource constrained devices is prohibitive. In order ...