9842 search results - page 1653 / 1969 » Compositional timing analysis |
124
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
We address the problem of large-scale data integration, where the data sources are unknown at design time, are from autonomous organisations, and may evolve. Experiments are descr...
147
click to vote
ISCAPDCS
2004
15 years 5 months ago
2004
Location based services in mobile environments have been recognized as a challenging problem that calls for new service models and dynamic strategies. The problem becomes even har...
113
click to vote
IJCAI
2001
15 years 5 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
159
click to vote
ISASSCI
2001
15 years 5 months ago
2001
Data mining is the process of deriving knowledge from data. The architecture of a data mining system plays a significant role in the efficiency with which data is mined. It is pro...
143
click to vote
SIP
2001
15 years 5 months ago
2001
This paper introduces algorithms for determining the "relevance" of each frame (and objects within the frame) to the scenes present in a given video sequence. Specifical...