blob: 766c28df69be1907c3faf861053ab94067911d98 [file] [log] [blame]
<?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; Y. Robert. The Impact of Vector and Parallel Architectures on the Gaussian Elimination Algorithm. Halsted Press, New York, 1990. &#10; R. Bajcsy and C. Tsikos. Perception via manipulation. In Proc. of the Int. Symp. &amp; Exposition on Robots, pages 237--244, Sydney, Australia, November 6-10 1988. &#10; J. Massey and D. Costello. Nonsystematic Convolutional Codes for Sequential Decoding in Space Applications. IEEE Transactions on Communications, p. 806--813, October 1971. &#10; W. W. Carlson and J. M. Draper. AC for the T3D. Technical Report SRC-TR-95-141, Supercomputing Research Center, Bowie, MD, February 1995. &#10; R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Conference Record of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, CA, Jan. 1995. &#10; A. Aiken and E. L. Wimmers. Type inclusion constraints and type iafexence. In Proceedings of the ACM SIGPLAN Conference on Fundional Programming Languages Computer Architecture, pages 31-41, 1993. &#10; W. Warwick, S. McIlwaine, R. Hutton, and P. McDermott. Developing computational models of recognition-primed decision making. In Proc. of the tenth conference on Computer Generated Forces, 2001. &#10; C. Ruggieri and T. P. Murtagh. Lifetime analysis of dynamically allocated objects. In Proceedings of the 15th ACM Symposium on Principles of Programming Languages, pages 285-293, 1988. &#10; H. Barringer, M. Fisher, G. Gough. Fair SMG and linear time model checking. In Proc. Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, Frankreich, 1989. &#10; W. Lehner, J. Albretch, and H. Wedkind. Normal forms for multidimensional databases. In Technical Report, University of Erlangen-Nuremberg, Germany, 1998. &#10; M. C. Rinard and M. S. Lam. Semantic foundations of Jade. In Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, pages 105-118, January 1992. &#10; K. Keeton, B. A. Mah, S. Seshan, R. H. Katz, and D. Ferrari. Providing Connection-Oriented Service to Mobile Hosts. In Proceedings of the First USENIX Symposium on Mobile and Location-Independent Computing, August 1993. &#10; C. Mercer, S. Savage and H. Tokuda. Processor Capacity Reserves: Operating System Support for Multimedia Applications. Proceedings of the International Conference on Multimedia Computing and Systems, pp. 90-99, May 1994. &#10; P. T. Zellweger. Interactions between high-level debugging and optimised code. PhD thesis, Computer Science Division, University of California, Berkeley, 1984. Published as Xerox PARC Technical Report CSL-84-5. &#10; S. Amarasinghe and M. Lam. Communication optimization and code generation for distributed memory machines. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, Albuquerque, NM, June 1993. &#10; F. Lockwood Morris. Advice on structuring compilers and proving them correct. In Proceedings of the First ACM Symposium on Principles of Programming Languages, pages 144-152, 1973. &#10; S. J. Eggers, D. R. Keppel, E. J. Koldinger, and H. M. Levy. Techniques for efficient inline tracing on a shared-memory multiprocessor. In Proceedings of the International Conference on Measurement and Modeling of Computer Systems, pages 37-47, May 1990. &#10; S. Aditya, C. Flood, and J. Hicks. Garbage collection for strongly-typed languages using run-time type reconstruction. In Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, pages 12-23, Orlando, FL, June 1994. &#10; R. Fletcher. Practical Methods of Optimization. John Wiley &amp; Sons, 1987. &#10; J. K. Peir and R. Cytron. Minimum distance a method for partitioning recur-resnces for multiprocessors. In Proceedings of the 1987 International Conference on Parallel Processing, pages 217-224, 1987. &#10;"/><tcas:DocumentAnnotation xmi:id="8" sofa="1" begin="0" end="3934" language="x-unspecified"/><example:Author xmi:id="14191" sofa="1" begin="7" end="17"/><example:Author xmi:id="14199" sofa="1" begin="146" end="170"/><example:Author xmi:id="14207" sofa="1" begin="318" end="344"/><example:Author xmi:id="14215" sofa="1" begin="500" end="531"/><example:Author xmi:id="14223" sofa="1" begin="650" end="677"/><example:Author xmi:id="14231" sofa="1" begin="868" end="895"/><example:Author xmi:id="14239" sofa="1" begin="1075" end="1129"/><example:Author xmi:id="14247" sofa="1" begin="1278" end="1308"/><example:Author xmi:id="14255" sofa="1" begin="1473" end="1507"/><example:Author xmi:id="14263" sofa="1" begin="1665" end="1704"/><example:Author xmi:id="14271" sofa="1" begin="1832" end="1859"/><example:Author xmi:id="14279" sofa="1" begin="2018" end="2078"/><example:Author xmi:id="14287" sofa="1" begin="2246" end="2281"/><example:Author xmi:id="14295" sofa="1" begin="2477" end="2493"/><example:Author xmi:id="14303" sofa="1" begin="2700" end="2726"/><example:Author xmi:id="14311" sofa="1" begin="2941" end="2960"/><example:Author xmi:id="14319" sofa="1" begin="3132" end="3192"/><example:Author xmi:id="14327" sofa="1" begin="3397" end="3431"/><example:Author xmi:id="14335" sofa="1" begin="3643" end="3655"/><example:Author xmi:id="14343" sofa="1" begin="3724" end="3749"/><example:Date xmi:id="14351" sofa="1" begin="138" end="143"/><example:Date xmi:id="14359" sofa="1" begin="296" end="315"/><example:Date xmi:id="14367" sofa="1" begin="484" end="497"/><example:Date xmi:id="14375" sofa="1" begin="633" end="647"/><example:Date xmi:id="14383" sofa="1" begin="855" end="865"/><example:Date xmi:id="14391" sofa="1" begin="1067" end="1072"/><example:Date xmi:id="14399" sofa="1" begin="1270" end="1275"/><example:Date xmi:id="14407" sofa="1" begin="1465" end="1470"/><example:Date xmi:id="14415" sofa="1" begin="1657" end="1662"/><example:Date xmi:id="14423" sofa="1" begin="1824" end="1829"/><example:Date xmi:id="14431" sofa="1" begin="2002" end="2015"/><example:Date xmi:id="14439" sofa="1" begin="2231" end="2243"/><example:Date xmi:id="14447" sofa="1" begin="2465" end="2474"/><example:Date xmi:id="14455" sofa="1" begin="2639" end="2644"/><example:Date xmi:id="14463" sofa="1" begin="2928" end="2938"/><example:Date xmi:id="14471" sofa="1" begin="3124" end="3129"/><example:Date xmi:id="14479" sofa="1" begin="3385" end="3394"/><example:Date xmi:id="14487" sofa="1" begin="3630" end="3640"/><example:Date xmi:id="14495" sofa="1" begin="3716" end="3721"/><example:Date xmi:id="14503" sofa="1" begin="3927" end="3932"/><example:Pages xmi:id="14511" sofa="1" begin="257" end="272"/><example:Pages xmi:id="14519" sofa="1" begin="469" end="481"/><example:Pages xmi:id="14527" sofa="1" begin="1052" end="1064"/><example:Pages xmi:id="14535" sofa="1" begin="1448" end="1462"/><example:Pages xmi:id="14543" sofa="1" begin="1985" end="1999"/><example:Pages xmi:id="14551" sofa="1" begin="2452" end="2462"/><example:Pages xmi:id="14559" sofa="1" begin="3107" end="3121"/><example:Pages xmi:id="14567" sofa="1" begin="3370" end="3382"/><example:Pages xmi:id="14575" sofa="1" begin="3600" end="3612"/><example:Pages xmi:id="14583" sofa="1" begin="3910" end="3924"/><example:Publisher xmi:id="14591" sofa="1" begin="109" end="123"/><example:Publisher xmi:id="14599" sofa="1" begin="3695" end="3713"/><example:Institution xmi:id="14607" sofa="1" begin="586" end="617"/><example:Institution xmi:id="14615" sofa="1" begin="1777" end="1810"/><example:Institution xmi:id="14623" sofa="1" begin="2574" end="2636"/><example:Title xmi:id="14631" sofa="1" begin="20" end="106"/><example:Title xmi:id="14639" sofa="1" begin="173" end="201"/><example:Title xmi:id="14647" sofa="1" begin="347" end="427"/><example:Title xmi:id="14655" sofa="1" begin="534" end="549"/><example:Title xmi:id="14663" sofa="1" begin="680" end="735"/><example:Title xmi:id="14671" sofa="1" begin="898" end="944"/><example:Title xmi:id="14679" sofa="1" begin="1132" end="1202"/><example:Title xmi:id="14687" sofa="1" begin="1311" end="1362"/><example:Title xmi:id="14695" sofa="1" begin="1510" end="1550"/><example:Title xmi:id="14703" sofa="1" begin="1707" end="1751"/><example:Title xmi:id="14711" sofa="1" begin="1862" end="1891"/><example:Title xmi:id="14719" sofa="1" begin="2081" end="2135"/><example:Title xmi:id="14727" sofa="1" begin="2284" end="2366"/><example:Title xmi:id="14735" sofa="1" begin="2496" end="2557"/><example:Title xmi:id="14743" sofa="1" begin="2729" end="2808"/><example:Title xmi:id="14751" sofa="1" begin="2963" end="3020"/><example:Title xmi:id="14759" sofa="1" begin="3195" end="3269"/><example:Title xmi:id="14767" sofa="1" begin="3434" end="3517"/><example:Title xmi:id="14775" sofa="1" begin="3658" end="3692"/><example:Title xmi:id="14783" sofa="1" begin="3752" end="3829"/><example:Booktitle xmi:id="14791" sofa="1" begin="204" end="254"/><example:Booktitle xmi:id="14799" sofa="1" begin="738" end="831"/><example:Booktitle xmi:id="14807" sofa="1" begin="947" end="1049"/><example:Booktitle xmi:id="14815" sofa="1" begin="1205" end="1267"/><example:Booktitle xmi:id="14823" sofa="1" begin="1365" end="1445"/><example:Booktitle xmi:id="14831" sofa="1" begin="1553" end="1630"/><example:Booktitle xmi:id="14839" sofa="1" begin="1894" end="1982"/><example:Booktitle xmi:id="14847" sofa="1" begin="2138" end="2228"/><example:Booktitle xmi:id="14855" sofa="1" begin="2369" end="2449"/><example:Booktitle xmi:id="14863" sofa="1" begin="2811" end="2906"/><example:Booktitle xmi:id="14871" sofa="1" begin="3023" end="3104"/><example:Booktitle xmi:id="14879" sofa="1" begin="3272" end="3367"/><example:Booktitle xmi:id="14887" sofa="1" begin="3520" end="3597"/><example:Booktitle xmi:id="14895" sofa="1" begin="3832" end="3907"/><example:Journal xmi:id="14903" sofa="1" begin="430" end="466"/><example:Location xmi:id="14911" sofa="1" begin="126" end="135"/><example:Location xmi:id="14919" sofa="1" begin="275" end="293"/><example:Location xmi:id="14927" sofa="1" begin="620" end="630"/><example:Location xmi:id="14935" sofa="1" begin="834" end="852"/><example:Location xmi:id="14943" sofa="1" begin="1633" end="1654"/><example:Location xmi:id="14951" sofa="1" begin="1813" end="1821"/><example:Location xmi:id="14959" sofa="1" begin="2909" end="2925"/><example:Location xmi:id="14967" sofa="1" begin="3615" end="3627"/><example:Tech xmi:id="14975" sofa="1" begin="552" end="583"/><example:Tech xmi:id="14983" sofa="1" begin="1754" end="1774"/><example:Tech xmi:id="14991" sofa="1" begin="2560" end="2571"/><cas:View sofa="1" members="8 14191 14199 14207 14215 14223 14231 14239 14247 14255 14263 14271 14279 14287 14295 14303 14311 14319 14327 14335 14343 14351 14359 14367 14375 14383 14391 14399 14407 14415 14423 14431 14439 14447 14455 14463 14471 14479 14487 14495 14503 14511 14519 14527 14535 14543 14551 14559 14567 14575 14583 14591 14599 14607 14615 14623 14631 14639 14647 14655 14663 14671 14679 14687 14695 14703 14711 14719 14727 14735 14743 14751 14759 14767 14775 14783 14791 14799 14807 14815 14823 14831 14839 14847 14855 14863 14871 14879 14887 14895 14903 14911 14919 14927 14935 14943 14951 14959 14967 14975 14983 14991"/></xmi:XMI>