<?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:&#10; S. Antoy.   Needed Narrowing in Prolog.   Technical Report 96-2,   Portland State University,   1996. &#10; K. Inoue, T. Ishihara, and K. Murakami.   Way-predicting set-associative cache for high performance and low energy consumption.   In Proceedings of the International Symposium on Low Power Electronics Design ISLPED,   pages 273-g75,   Aug. 1999. &#10; G. Patnaik.   Personal communication,   September 1995. &#10; A. Borgida and T. Imielinski.   Decision making in committees-a framework for dealing with inconsistency and non-monotonicity.   In Proceedings Nonmono-tonic Reasoning Workshop,   pages 21-32,   1984. &#10; T. Bench-Capon and G. Staniford.   PLAID -proactive legal assistance.   In Proceedings of the Fifth International Conference on Artificial Intelligence Law,   pages 81-88,   1995. &#10; L. Lovasz and N. Young.   Lecture notes on evasiveness of graph properties.   Technical Report CS-TR-317-91,   Computer Science Department, Princeton University,   1991. &#10; R. White, F. Muller, C. Healy, D. Whalley, and M. Harmon.   Timing analysis for data caches and set-associative caches.   In Proceedings of the IEEE Real-Time Technology and Applications Symposium,   pages 192-202,   June 1997. &#10; M. J. Feeley and H. M. Levy.   Distributed shared memory with versioned objects.   In OOPSLA '92 Conference Proceedings,   pages 247-262,   October 1992. &#10; M. Galles and E. Williams.   Performance optimizations, implementation, and verification of the SGI Challenge multiprocessor.   In Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences, volume I: Architecture,   pages 134-143,   January 1994. &#10; D. Lomet and Mark R. Tuttle.   Redo Recovery after System Crashes.   In Proc. of the 21st International Conference on Very Large Data Bases,   Zurich,   Sept. 1995. &#10; W. Cunto and J. Ian Munro.   Average case selection.   Proceedings of the Sixteenth Annual ACM Symposzum on Theory of Computing,   pages 369-375,   1984. &#10; R. Seifert.   The Switch Book. The complete Guide to LAN Switching Technology.   Jonh Wiley &amp; Sons, Inc.,   2000. &#10; M. Wand and D. P. Fredman.   The mystery of the tower revealed: a non-reflective description of the reflective tower.   In Proceedings Symposium on Lisp Functional Programming,   pages 298-307,   ACM,   August 1986. &#10; S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta.   The SPLASH-2 Programs: Characterization and Methodological Considerations.   In Proceedings of the 22nd International Symposium on Computer Architecture,   pages 24-36,   June 1995. &#10; S. Konstantinidou and L. Snyder.   Chaos Router: architecture and performance.   In Proceedings of the 18th International Symposium on Computer Architecture,   pages 212-221,   May 1991. &#10; R. Guindon.   How to interface to advisory systems7 Users request help with a very simple language.   In Proceedings of the ACM SIGCHI Conference Human Factors in Computer Systems,   1988. &#10; D. R. Helman, D. A. Bader, and J. JaJa.   Parallel Algorithms for Personalized Communication and Sorting With an Experimental Study.   In Proceedings of the Eighth Annual ACM Symposium on Parallel Algorithms and Architectures,   pages 211-220,   Padua, Italy,   June 1996. &#10; T. A. Cook and E. A. Harcourt.   A functional specification language for instruction set architectures.   In Proc. 1994 International Conference on Computer Languages,   pages 11-19,   1994. &#10; J. C. Butcher.   Diagonally implicit general linear methods for ordinary differential equations.   Technical report,   University of Auckland,   1993.   Submitted for publication. &#10; A. P. Witkin.   Scale-space filtering.   In Proc. Intl. Joint Conf. Art. Intell.,   pages 1019-1023,   1983. &#10;"/><tcas:DocumentAnnotation xmi:id="8" sofa="1" begin="0" end="3678" language="x-unspecified"/><example:Author xmi:id="13369" sofa="1" begin="7" end="16"/><example:Author xmi:id="13377" sofa="1" begin="111" end="150"/><example:Author xmi:id="13385" sofa="1" begin="359" end="370"/><example:Author xmi:id="13393" sofa="1" begin="417" end="446"/><example:Author xmi:id="13401" sofa="1" begin="620" end="652"/><example:Author xmi:id="13409" sofa="1" begin="802" end="825"/><example:Author xmi:id="13417" sofa="1" begin="974" end="1031"/><example:Author xmi:id="13425" sofa="1" begin="1204" end="1232"/><example:Author xmi:id="13433" sofa="1" begin="1360" end="1386"/><example:Author xmi:id="13441" sofa="1" begin="1636" end="1664"/><example:Author xmi:id="13449" sofa="1" begin="1803" end="1829"/><example:Author xmi:id="13457" sofa="1" begin="1959" end="1970"/><example:Author xmi:id="13465" sofa="1" begin="2075" end="2101"/><example:Author xmi:id="13473" sofa="1" begin="2293" end="2351"/><example:Author xmi:id="13481" sofa="1" begin="2538" end="2570"/><example:Author xmi:id="13489" sofa="1" begin="2727" end="2738"/><example:Author xmi:id="13497" sofa="1" begin="2918" end="2957"/><example:Author xmi:id="13505" sofa="1" begin="3193" end="3223"/><example:Author xmi:id="13513" sofa="1" begin="3386" end="3400"/><example:Author xmi:id="13521" sofa="1" begin="3568" end="3581"/><example:Date xmi:id="13529" sofa="1" begin="103" end="108"/><example:Date xmi:id="13537" sofa="1" begin="346" end="356"/><example:Date xmi:id="13545" sofa="1" begin="399" end="414"/><example:Date xmi:id="13553" sofa="1" begin="612" end="617"/><example:Date xmi:id="13561" sofa="1" begin="794" end="799"/><example:Date xmi:id="13569" sofa="1" begin="966" end="971"/><example:Date xmi:id="13577" sofa="1" begin="1191" end="1201"/><example:Date xmi:id="13585" sofa="1" begin="1344" end="1357"/><example:Date xmi:id="13593" sofa="1" begin="1620" end="1633"/><example:Date xmi:id="13601" sofa="1" begin="1789" end="1800"/><example:Date xmi:id="13609" sofa="1" begin="1951" end="1956"/><example:Date xmi:id="13617" sofa="1" begin="2067" end="2072"/><example:Date xmi:id="13625" sofa="1" begin="2278" end="2290"/><example:Date xmi:id="13633" sofa="1" begin="2525" end="2535"/><example:Date xmi:id="13641" sofa="1" begin="2715" end="2724"/><example:Date xmi:id="13649" sofa="1" begin="2910" end="2915"/><example:Date xmi:id="13657" sofa="1" begin="3180" end="3190"/><example:Date xmi:id="13665" sofa="1" begin="3378" end="3383"/><example:Date xmi:id="13673" sofa="1" begin="3531" end="3536"/><example:Date xmi:id="13681" sofa="1" begin="3671" end="3676"/><example:Pages xmi:id="13689" sofa="1" begin="329" end="343"/><example:Pages xmi:id="13697" sofa="1" begin="597" end="609"/><example:Pages xmi:id="13705" sofa="1" begin="779" end="791"/><example:Pages xmi:id="13713" sofa="1" begin="1174" end="1188"/><example:Pages xmi:id="13721" sofa="1" begin="1327" end="1341"/><example:Pages xmi:id="13729" sofa="1" begin="1603" end="1617"/><example:Pages xmi:id="13737" sofa="1" begin="1934" end="1948"/><example:Pages xmi:id="13745" sofa="1" begin="2254" end="2268"/><example:Pages xmi:id="13753" sofa="1" begin="2510" end="2522"/><example:Pages xmi:id="13761" sofa="1" begin="2698" end="2712"/><example:Pages xmi:id="13769" sofa="1" begin="3147" end="3161"/><example:Pages xmi:id="13777" sofa="1" begin="3363" end="3375"/><example:Pages xmi:id="13785" sofa="1" begin="3652" end="3668"/><example:Publisher xmi:id="13793" sofa="1" begin="2040" end="2064"/><example:Publisher xmi:id="13801" sofa="1" begin="2271" end="2275"/><example:Institution xmi:id="13809" sofa="1" begin="74" end="100"/><example:Institution xmi:id="13817" sofa="1" begin="913" end="963"/><example:Institution xmi:id="13825" sofa="1" begin="3505" end="3528"/><example:Title xmi:id="13833" sofa="1" begin="19" end="46"/><example:Title xmi:id="13841" sofa="1" begin="153" end="238"/><example:Title xmi:id="13849" sofa="1" begin="449" end="543"/><example:Title xmi:id="13857" sofa="1" begin="655" end="689"/><example:Title xmi:id="13865" sofa="1" begin="828" end="877"/><example:Title xmi:id="13873" sofa="1" begin="1034" end="1093"/><example:Title xmi:id="13881" sofa="1" begin="1235" end="1284"/><example:Title xmi:id="13889" sofa="1" begin="1389" end="1485"/><example:Title xmi:id="13897" sofa="1" begin="1667" end="1702"/><example:Title xmi:id="13905" sofa="1" begin="1832" end="1855"/><example:Title xmi:id="13913" sofa="1" begin="1973" end="2037"/><example:Title xmi:id="13921" sofa="1" begin="2104" end="2192"/><example:Title xmi:id="13929" sofa="1" begin="2354" end="2428"/><example:Title xmi:id="13937" sofa="1" begin="2573" end="2616"/><example:Title xmi:id="13945" sofa="1" begin="2741" end="2826"/><example:Title xmi:id="13953" sofa="1" begin="2960" end="3050"/><example:Title xmi:id="13961" sofa="1" begin="3226" end="3296"/><example:Title xmi:id="13969" sofa="1" begin="3403" end="3482"/><example:Title xmi:id="13977" sofa="1" begin="3584" end="3606"/><example:Booktitle xmi:id="13985" sofa="1" begin="241" end="326"/><example:Booktitle xmi:id="13993" sofa="1" begin="546" end="594"/><example:Booktitle xmi:id="14001" sofa="1" begin="692" end="776"/><example:Booktitle xmi:id="14009" sofa="1" begin="1096" end="1171"/><example:Booktitle xmi:id="14017" sofa="1" begin="1287" end="1324"/><example:Booktitle xmi:id="14025" sofa="1" begin="1488" end="1600"/><example:Booktitle xmi:id="14033" sofa="1" begin="1705" end="1776"/><example:Booktitle xmi:id="14041" sofa="1" begin="1858" end="1931"/><example:Booktitle xmi:id="14049" sofa="1" begin="2195" end="2251"/><example:Booktitle xmi:id="14057" sofa="1" begin="2431" end="2507"/><example:Booktitle xmi:id="14065" sofa="1" begin="2619" end="2695"/><example:Booktitle xmi:id="14073" sofa="1" begin="2829" end="2907"/><example:Booktitle xmi:id="14081" sofa="1" begin="3053" end="3144"/><example:Booktitle xmi:id="14089" sofa="1" begin="3299" end="3360"/><example:Booktitle xmi:id="14097" sofa="1" begin="3609" end="3649"/><example:Location xmi:id="14105" sofa="1" begin="1779" end="1786"/><example:Location xmi:id="14113" sofa="1" begin="3164" end="3177"/><example:Tech xmi:id="14121" sofa="1" begin="49" end="71"/><example:Tech xmi:id="14129" sofa="1" begin="373" end="396"/><example:Tech xmi:id="14137" sofa="1" begin="880" end="910"/><example:Tech xmi:id="14145" sofa="1" begin="3485" end="3502"/><cas:View sofa="1" members="8 13369 13377 13385 13393 13401 13409 13417 13425 13433 13441 13449 13457 13465 13473 13481 13489 13497 13505 13513 13521 13529 13537 13545 13553 13561 13569 13577 13585 13593 13601 13609 13617 13625 13633 13641 13649 13657 13665 13673 13681 13689 13697 13705 13713 13721 13729 13737 13745 13753 13761 13769 13777 13785 13793 13801 13809 13817 13825 13833 13841 13849 13857 13865 13873 13881 13889 13897 13905 13913 13921 13929 13937 13945 13953 13961 13969 13977 13985 13993 14001 14009 14017 14025 14033 14041 14049 14057 14065 14073 14081 14089 14097 14105 14113 14121 14129 14137 14145"/></xmi:XMI>