| <?xml version="1.0" encoding="UTF-8"?><xmi:XMI xmlns:cas="http:///uima/cas.ecore" xmlns:type="http:///org/apache/uima/ruta/type.ecore" xmlns:xmi="http://www.omg.org/XMI" xmlns:example2="http:///uima/textmarker/example.ecore" xmlns:tcas="http:///uima/tcas.ecore" xmlns:example="http:///uima/ruta/example.ecore" xmi:version="2.0"><cas:NULL xmi:id="0"/><cas:Sofa xmi:id="1" sofaNum="1" sofaID="_InitialView" mimeType="text" sofaString="CORA: R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 33(1) 57-95, 1987. N. J. Nilsson. Probabilistic logic. Artificial Intelligence, 28(1) 71-87, 1986. M. von der Beeck. A comparison of statecharts variants. In Symposium on FaultTolerant Computing, LNCS. Springer, 1994. D. Padua and M. J. Wolfe. Advanced compiler optimizations for supercomputers. Communications of the ACM, 29(12) 1184-1201, December 1986. N. Benvenuto and F. Piazza. On the Complex Backpropagation Algorithm. IEEE Transactions on Signal Processing, 40(4) 967-969, 1992. D. Georgakopoulos, M. Rusinkiewicz, and A. Sheth. Using tickets to enforce the serializability of multidatabase transactions. IEEE Trans. on Knowledge and Data Eng., 6(1) 166, February 1994. K. Li and P. Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4) 321-359, November 1989. B. Shneiderman. Tree visualization with tree-maps: A 2-d space filling approach. ACM Transactions on Graphics, 11(1) 1-39, Jan. 1992. S. Hiranandani, K. Kennedy, and C. Tseng. Compiling Fortran D for MIMD distributed-memory machines. Communications of the ACM, 35(8) 66-80, Aug. 1992. D. V. James, A. T. Laundrie, S. Gjessing, and G. S. Sohi. Scalable Coherent Interface. IEEE Computer, 23(6) : 74--77, 1990. N. A. Lorentzos and Y. G. Mitsopoulos. SQL Extension for Interval Data. IEEE TKDE, 9(3) 480-499, May 1997. P. K. Chrysanthis and K. Ramamritham. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems, 19(3) 450-491, September 1994. A. L. Yuille. Deformable templates for face recognition. Journal of Cognitive Neuroscience, 3(1) 59-70, 1991. J. E. Dennis and R. B. Schnabel. Numerical Methods for Unconstrained Optimization and Nonlinear Equations. Prentice-Hall Series in Computational Mathematics. Prentice-Hall, Inc, Englewood Cliffs, New Jersey, 1983. D. Gannon, W. Jalby, and K. Gallivan. Strategies for cache and local memory management by global program transformation. Journal of Parallel and Distributed Computing, 5(5) 587-616, October 1988. P. Havlak and K. Kennedy. An implementation of inter procedural bounded regular section analysis. IEEE Transactions on Parallel and Distributed Systems, 2(3) 350-360, July 1991. F. Allen, M. Burke, P. Charles, R. Cytron, and J. Ferrante. An overview of the PTRAN analysis system for multiprocessing. In Proceedings of the First International Conference on Supercomputing. Springer-Verlag, Athens, Greece, June 1987. T. E. Hull, T. F. Fairgrieve, and P. T. P. Tang. Implementing complex elementary functions using exception handling. ACM Trans. Math. Softw., 20(2) 215-244, 1994. B. Ryder and M. Paull. Incremental data flow analysis algorithms. ACM Transactions on Programming Languages and Systems, 10(1) 1-50, January 1988. C. Baru, O. Frieder, D. Kandlur, and M. Segal. Join on a cube: Analysis, simulation, and implementation. In M. Kitsuregawa and H. Tanaka, editors, Database Machines and Knowledge Base Machines. Kluwer Academic Publishers, 1987. "/><tcas:DocumentAnnotation xmi:id="8" sofa="1" begin="0" end="3289" language="x-unspecified"/><example:Author xmi:id="13138" sofa="1" begin="7" end="17"/><example:Author xmi:id="13146" sofa="1" begin="119" end="133"/><example:Author xmi:id="13154" sofa="1" begin="211" end="228"/><example:Author xmi:id="13162" sofa="1" begin="340" end="365"/><example:Author xmi:id="13170" sofa="1" begin="490" end="517"/><example:Author xmi:id="13178" sofa="1" begin="633" end="682"/><example:Author xmi:id="13186" sofa="1" begin="836" end="855"/><example:Author xmi:id="13194" sofa="1" begin="986" end="1001"/><example:Author xmi:id="13202" sofa="1" begin="1132" end="1173"/><example:Author xmi:id="13210" sofa="1" begin="1295" end="1352"/><example:Author xmi:id="13218" sofa="1" begin="1429" end="1467"/><example:Author xmi:id="13226" sofa="1" begin="1548" end="1585"/><example:Author xmi:id="13234" sofa="1" begin="1720" end="1733"/><example:Author xmi:id="13242" sofa="1" begin="1842" end="1874"/><example:Author xmi:id="13250" sofa="1" begin="2068" end="2105"/><example:Author xmi:id="13258" sofa="1" begin="2276" end="2301"/><example:Author xmi:id="13266" sofa="1" begin="2466" end="2525"/><example:Author xmi:id="13274" sofa="1" begin="2716" end="2764"/><example:Author xmi:id="13282" sofa="1" begin="2891" end="2913"/><example:Author xmi:id="13290" sofa="1" begin="3050" end="3096"/><example:Date xmi:id="13298" sofa="1" begin="111" end="116"/><example:Date xmi:id="13306" sofa="1" begin="203" end="208"/><example:Date xmi:id="13314" sofa="1" begin="332" end="337"/><example:Date xmi:id="13322" sofa="1" begin="473" end="487"/><example:Date xmi:id="13330" sofa="1" begin="625" end="630"/><example:Date xmi:id="13338" sofa="1" begin="819" end="833"/><example:Date xmi:id="13346" sofa="1" begin="969" end="983"/><example:Date xmi:id="13354" sofa="1" begin="1119" end="1129"/><example:Date xmi:id="13362" sofa="1" begin="1282" end="1292"/><example:Date xmi:id="13370" sofa="1" begin="1421" end="1426"/><example:Date xmi:id="13378" sofa="1" begin="1536" end="1545"/><example:Date xmi:id="13386" sofa="1" begin="1702" end="1717"/><example:Date xmi:id="13394" sofa="1" begin="1834" end="1839"/><example:Date xmi:id="13402" sofa="1" begin="2060" end="2065"/><example:Date xmi:id="13410" sofa="1" begin="2260" end="2273"/><example:Date xmi:id="13418" sofa="1" begin="2453" end="2463"/><example:Date xmi:id="13426" sofa="1" begin="2703" end="2713"/><example:Date xmi:id="13434" sofa="1" begin="2883" end="2888"/><example:Date xmi:id="13442" sofa="1" begin="3034" end="3047"/><example:Date xmi:id="13450" sofa="1" begin="3282" end="3287"/><example:Pages xmi:id="13458" sofa="1" begin="102" end="108"/><example:Pages xmi:id="13466" sofa="1" begin="194" end="200"/><example:Pages xmi:id="13474" sofa="1" begin="460" end="470"/><example:Pages xmi:id="13482" sofa="1" begin="614" end="622"/><example:Pages xmi:id="13490" sofa="1" begin="812" end="816"/><example:Pages xmi:id="13498" sofa="1" begin="958" end="966"/><example:Pages xmi:id="13506" sofa="1" begin="1111" end="1116"/><example:Pages xmi:id="13514" sofa="1" begin="1273" end="1279"/><example:Pages xmi:id="13522" sofa="1" begin="1411" end="1418"/><example:Pages xmi:id="13530" sofa="1" begin="1525" end="1533"/><example:Pages xmi:id="13538" sofa="1" begin="1691" end="1699"/><example:Pages xmi:id="13546" sofa="1" begin="1825" end="1831"/><example:Pages xmi:id="13554" sofa="1" begin="2249" end="2257"/><example:Pages xmi:id="13562" sofa="1" begin="2442" end="2450"/><example:Pages xmi:id="13570" sofa="1" begin="2872" end="2880"/><example:Pages xmi:id="13578" sofa="1" begin="3026" end="3031"/><example:Publisher xmi:id="13586" sofa="1" begin="320" end="329"/><example:Publisher xmi:id="13594" sofa="1" begin="2006" end="2025"/><example:Publisher xmi:id="13602" sofa="1" begin="2666" end="2682"/><example:Publisher xmi:id="13610" sofa="1" begin="3252" end="3279"/><example:Volume xmi:id="13618" sofa="1" begin="94" end="99"/><example:Volume xmi:id="13626" sofa="1" begin="186" end="191"/><example:Volume xmi:id="13634" sofa="1" begin="451" end="457"/><example:Volume xmi:id="13642" sofa="1" begin="606" end="611"/><example:Volume xmi:id="13650" sofa="1" begin="805" end="809"/><example:Volume xmi:id="13658" sofa="1" begin="951" end="955"/><example:Volume xmi:id="13666" sofa="1" begin="1103" end="1108"/><example:Volume xmi:id="13674" sofa="1" begin="1265" end="1270"/><example:Volume xmi:id="13682" sofa="1" begin="1403" end="1408"/><example:Volume xmi:id="13690" sofa="1" begin="1518" end="1522"/><example:Volume xmi:id="13698" sofa="1" begin="1683" end="1688"/><example:Volume xmi:id="13706" sofa="1" begin="1818" end="1822"/><example:Volume xmi:id="13714" sofa="1" begin="2242" end="2246"/><example:Volume xmi:id="13722" sofa="1" begin="2435" end="2439"/><example:Volume xmi:id="13730" sofa="1" begin="2864" end="2869"/><example:Volume xmi:id="13738" sofa="1" begin="3018" end="3023"/><example:Editor xmi:id="13746" sofa="1" begin="3159" end="3200"/><example:Title xmi:id="13754" sofa="1" begin="20" end="64"/><example:Title xmi:id="13762" sofa="1" begin="136" end="156"/><example:Title xmi:id="13770" sofa="1" begin="231" end="268"/><example:Title xmi:id="13778" sofa="1" begin="368" end="419"/><example:Title xmi:id="13786" sofa="1" begin="520" end="561"/><example:Title xmi:id="13794" sofa="1" begin="685" end="760"/><example:Title xmi:id="13802" sofa="1" begin="858" end="908"/><example:Title xmi:id="13810" sofa="1" begin="1004" end="1068"/><example:Title xmi:id="13818" sofa="1" begin="1176" end="1233"/><example:Title xmi:id="13826" sofa="1" begin="1355" end="1383"/><example:Title xmi:id="13834" sofa="1" begin="1470" end="1502"/><example:Title xmi:id="13842" sofa="1" begin="1588" end="1640"/><example:Title xmi:id="13850" sofa="1" begin="1736" end="1778"/><example:Title xmi:id="13858" sofa="1" begin="1877" end="1950"/><example:Title xmi:id="13866" sofa="1" begin="2108" end="2190"/><example:Title xmi:id="13874" sofa="1" begin="2304" end="2375"/><example:Title xmi:id="13882" sofa="1" begin="2528" end="2589"/><example:Title xmi:id="13890" sofa="1" begin="2767" end="2834"/><example:Title xmi:id="13898" sofa="1" begin="2916" end="2958"/><example:Title xmi:id="13906" sofa="1" begin="3099" end="3156"/><example:Booktitle xmi:id="13914" sofa="1" begin="271" end="317"/><example:Booktitle xmi:id="13922" sofa="1" begin="1953" end="2003"/><example:Booktitle xmi:id="13930" sofa="1" begin="2592" end="2663"/><example:Booktitle xmi:id="13938" sofa="1" begin="3203" end="3249"/><example:Journal xmi:id="13946" sofa="1" begin="67" end="91"/><example:Journal xmi:id="13954" sofa="1" begin="159" end="183"/><example:Journal xmi:id="13962" sofa="1" begin="422" end="448"/><example:Journal xmi:id="13970" sofa="1" begin="564" end="603"/><example:Journal xmi:id="13978" sofa="1" begin="763" end="802"/><example:Journal xmi:id="13986" sofa="1" begin="911" end="948"/><example:Journal xmi:id="13994" sofa="1" begin="1071" end="1100"/><example:Journal xmi:id="14002" sofa="1" begin="1236" end="1262"/><example:Journal xmi:id="14010" sofa="1" begin="1386" end="1400"/><example:Journal xmi:id="14018" sofa="1" begin="1505" end="1515"/><example:Journal xmi:id="14026" sofa="1" begin="1643" end="1680"/><example:Journal xmi:id="14034" sofa="1" begin="1781" end="1815"/><example:Journal xmi:id="14042" sofa="1" begin="2193" end="2239"/><example:Journal xmi:id="14050" sofa="1" begin="2378" end="2432"/><example:Journal xmi:id="14058" sofa="1" begin="2837" end="2861"/><example:Journal xmi:id="14066" sofa="1" begin="2961" end="3015"/><example:Location xmi:id="14074" sofa="1" begin="2028" end="2057"/><example:Location xmi:id="14082" sofa="1" begin="2685" end="2700"/><cas:View sofa="1" members="8 13138 13146 13154 13162 13170 13178 13186 13194 13202 13210 13218 13226 13234 13242 13250 13258 13266 13274 13282 13290 13298 13306 13314 13322 13330 13338 13346 13354 13362 13370 13378 13386 13394 13402 13410 13418 13426 13434 13442 13450 13458 13466 13474 13482 13490 13498 13506 13514 13522 13530 13538 13546 13554 13562 13570 13578 13586 13594 13602 13610 13618 13626 13634 13642 13650 13658 13666 13674 13682 13690 13698 13706 13714 13722 13730 13738 13746 13754 13762 13770 13778 13786 13794 13802 13810 13818 13826 13834 13842 13850 13858 13866 13874 13882 13890 13898 13906 13914 13922 13930 13938 13946 13954 13962 13970 13978 13986 13994 14002 14010 14018 14026 14034 14042 14050 14058 14066 14074 14082"/></xmi:XMI> |