| <?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: Bourdoncle, F. Abstract debugging of higher-order imperative languages. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 46-55, 1993. Korhonen, A., and Malmi, L. Algorithm Simulation with Automatic Assessment. Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation Technology in Computer Science Education, pages 160-163, Helsinki, Finland, 2000. Balc'azar, J. L., D'iaz, J., Gabarr'o, J. Structural Complexity I. Springer-Verlag, Berlin, 1988. Nygren, E., Lind M., Johnson, M. and Sandblad, B. The an of the obvious' automatically processes components of the task of reading frequently used documents. In Conference Proceedings for CH1'92, ACM Conference on Human Factors in Computing Systems, 1992. Akihiko Takano and Erik Meijer. Shortcut deforestation in calculational form. In Proceedings Conference on Functional Programming Languages Computer Architecture, pages 306-313, 1995. Goodenough, J. B., Sha, L. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks. Proceedings of the International Workshop of ReaI-Time Ada Issues, June 1988. Lucassen, J. M. Types and Effects, towards the integration of functional and imperative programming. MIT/LCS/TR-408 (Ph. D. Thesis). MIT Laboratory for Computer Science, August 1987. Preist, C. and van Tol, M. Adaptive Agents in a Persistent Shout Double Auction. Proceedings of the 1 st International Conference on the Intemet Computing Economics, ACM Press, 1998. Berlekamp, E. Algebraic coding theory. McGraw Hill, New York NY, 1968. Hill, W. How Some Advice Fails. Proceedings of the 1989 ACM Conference on Human Factors in Computing Systems, pages 85-90, 1989. Geddes, K., Czapor, S., and Labahn, G. Algorithms for Computer Algebra. Kluwer Academic Publishers, Boston, 1992. Gertz M., Lipeck U. W. Deriving Integrity Maintaining Triggers from Transition Graphs. In International Conference on Data Engineering, 1993. Friedman, J. H. and Silverman, B. W. Flexible parsimonious smoothing and additive modeling (with discussion). TECHNOMETRICS. 1989. "/><tcas:DocumentAnnotation xmi:id="8" sofa="1" begin="0" end="2215" language="x-unspecified"/><example:Author xmi:id="8059" sofa="1" begin="7" end="21"/><example:Author xmi:id="8067" sofa="1" begin="185" end="212"/><example:Author xmi:id="8075" sofa="1" begin="424" end="465"/><example:Author xmi:id="8083" sofa="1" begin="532" end="581"/><example:Author xmi:id="8091" sofa="1" begin="796" end="827"/><example:Author xmi:id="8099" sofa="1" begin="988" end="1014"/><example:Author xmi:id="8107" sofa="1" begin="1197" end="1212"/><example:Author xmi:id="8115" sofa="1" begin="1390" end="1416"/><example:Author xmi:id="8123" sofa="1" begin="1583" end="1596"/><example:Author xmi:id="8131" sofa="1" begin="1664" end="1672"/><example:Author xmi:id="8139" sofa="1" begin="1803" end="1841"/><example:Author xmi:id="8147" sofa="1" begin="1927" end="1949"/><example:Author xmi:id="8155" sofa="1" begin="2077" end="2113"/><example:Date xmi:id="8163" sofa="1" begin="177" end="182"/><example:Date xmi:id="8171" sofa="1" begin="416" end="421"/><example:Date xmi:id="8179" sofa="1" begin="524" end="529"/><example:Date xmi:id="8187" sofa="1" begin="788" end="793"/><example:Date xmi:id="8195" sofa="1" begin="980" end="985"/><example:Date xmi:id="8203" sofa="1" begin="1184" end="1194"/><example:Date xmi:id="8211" sofa="1" begin="1375" end="1387"/><example:Date xmi:id="8219" sofa="1" begin="1575" end="1580"/><example:Date xmi:id="8227" sofa="1" begin="1656" end="1661"/><example:Date xmi:id="8235" sofa="1" begin="1795" end="1800"/><example:Date xmi:id="8243" sofa="1" begin="1919" end="1924"/><example:Date xmi:id="8251" sofa="1" begin="2069" end="2074"/><example:Date xmi:id="8259" sofa="1" begin="2208" end="2213"/><example:Pages xmi:id="8267" sofa="1" begin="162" end="174"/><example:Pages xmi:id="8275" sofa="1" begin="378" end="392"/><example:Pages xmi:id="8283" sofa="1" begin="963" end="977"/><example:Pages xmi:id="8291" sofa="1" begin="1780" end="1792"/><example:Publisher xmi:id="8299" sofa="1" begin="495" end="511"/><example:Publisher xmi:id="8307" sofa="1" begin="1562" end="1572"/><example:Publisher xmi:id="8315" sofa="1" begin="1626" end="1638"/><example:Publisher xmi:id="8323" sofa="1" begin="1879" end="1906"/><example:Institution xmi:id="8331" sofa="1" begin="1336" end="1372"/><example:Title xmi:id="8339" sofa="1" begin="24" end="80"/><example:Title xmi:id="8347" sofa="1" begin="215" end="262"/><example:Title xmi:id="8355" sofa="1" begin="468" end="492"/><example:Title xmi:id="8363" sofa="1" begin="584" end="691"/><example:Title xmi:id="8371" sofa="1" begin="828" end="873"/><example:Title xmi:id="8379" sofa="1" begin="1017" end="1112"/><example:Title xmi:id="8387" sofa="1" begin="1215" end="1299"/><example:Title xmi:id="8395" sofa="1" begin="1419" end="1472"/><example:Title xmi:id="8403" sofa="1" begin="1599" end="1623"/><example:Title xmi:id="8411" sofa="1" begin="1675" end="1697"/><example:Title xmi:id="8419" sofa="1" begin="1844" end="1876"/><example:Title xmi:id="8427" sofa="1" begin="1952" end="2015"/><example:Title xmi:id="8435" sofa="1" begin="2116" end="2188"/><example:Booktitle xmi:id="8443" sofa="1" begin="83" end="159"/><example:Booktitle xmi:id="8451" sofa="1" begin="265" end="375"/><example:Booktitle xmi:id="8459" sofa="1" begin="694" end="785"/><example:Booktitle xmi:id="8467" sofa="1" begin="876" end="960"/><example:Booktitle xmi:id="8475" sofa="1" begin="1115" end="1181"/><example:Booktitle xmi:id="8483" sofa="1" begin="1475" end="1559"/><example:Booktitle xmi:id="8491" sofa="1" begin="1700" end="1777"/><example:Booktitle xmi:id="8499" sofa="1" begin="2018" end="2066"/><example:Journal xmi:id="8507" sofa="1" begin="2191" end="2205"/><example:Location xmi:id="8515" sofa="1" begin="395" end="413"/><example:Location xmi:id="8523" sofa="1" begin="514" end="521"/><example:Location xmi:id="8531" sofa="1" begin="1641" end="1653"/><example:Location xmi:id="8539" sofa="1" begin="1909" end="1916"/><example:Tech xmi:id="8547" sofa="1" begin="1302" end="1333"/><cas:View sofa="1" members="8 8059 8067 8075 8083 8091 8099 8107 8115 8123 8131 8139 8147 8155 8163 8171 8179 8187 8195 8203 8211 8219 8227 8235 8243 8251 8259 8267 8275 8283 8291 8299 8307 8315 8323 8331 8339 8347 8355 8363 8371 8379 8387 8395 8403 8411 8419 8427 8435 8443 8451 8459 8467 8475 8483 8491 8499 8507 8515 8523 8531 8539 8547"/></xmi:XMI> |