319 search results - page 62 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
ICDE
2007
IEEE
14 years 8 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
SYSTOR
2009
ACM
14 years 1 months ago
2009
ACM
A typical storage hierarchy comprises of components with varying performance and cost characteristics, providing multiple options for data placement. We propose and evaluate a hie...
BMCBI
2005
13 years 7 months ago
2005
Background: Accurate assignment of genes to pathways is essential in order to understand the functional role of genes and to map the existing pathways in a given genome. Existing ...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Facial activities are the most natural and powerful means of human communication. Spontaneous facial activity is characterized by rigid head movements, non-rigid facial muscular m...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Ranking is an important property that needs to be fully supported by current relational query engines. Recently, several rank-join query operators have been proposed based on rank...