1200 search results - page 182 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
DEXA
2007
Springer
14 years 3 months ago
2007
Springer
Due to the high frequency in location updates and the expensive cost of continuous query processing, server computation capacity and wireless communication bandwidth are the two li...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
The need for high performance and throughput Question Answering (QA) systems demands for their migration to distributed environments. However, even in such cases it is necessary t...
CVPR
2005
IEEE
14 years 2 months ago
2005
IEEE
We introduce a new method that characterizes typical local image features (e.g., SIFT [9], phase feature [3]) in terms of their distinctiveness, detectability, and robustness to i...
BMCBI
2010
13 years 9 months ago
2010
Background: Finding the subgraphs of a graph database that are isomorphic to a given query graph has practical applications in several fields, from cheminformatics to image unders...