860 search results - page 48 / 172 » A Process Algebra Based Verification of a Production System |
143
Voted
SIGMOD
2005
ACM
15 years 9 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...
150
Voted
VLDB
1991
ACM
15 years 7 months 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...
131
click to vote
PROFES
2001
Springer
15 years 8 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...
144
Voted
ICASSP
2011
IEEE
14 years 7 months 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...
145
click to vote
ICPR
2010
IEEE
15 years 5 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 ...