882 search results - page 27 / 177 » Analysis of Composite Corridors |
ISCI
2000
13 years 8 months ago
2000
We present a new neural network-based method of image processing for determining the local composition and thickness of III
ICWS
2009
IEEE
13 years 6 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
SERP
2004
13 years 10 months ago
2004
Despite the ubiquity of XML, research in metrics for XML documents is scarce. This paper proposes and discusses eleven metrics to measure the quality and complexity of XML Schema ...