RubyGems - excite - Versions diffs - 2.1.1 → 2.1.2 - Mend

excite 2.1.1 → 2.1.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (7) hide show

data/Gemfile.lock +1 -1
data/lib/excite/resources/model +0 -0
data/lib/excite/resources/trainingdata/tagged_references.txt +479 -4
data/lib/excite/version.rb +1 -1
data/model/test/analysis.csv +46 -46
data/model/test/output.txt +32206 -14785
metadata +7 -2

data/lib/excite/resources/trainingdata/tagged_references.txt CHANGED Viewed

@@ -62,7 +62,7 @@
 <author> Fink, E., & Veloso, M. </author> <date> (1994). </date> <title> Formalizing the prodigy planning algorithm. </title> <tech> CMU CS Tech Report CMU-CS-94-123. </tech>
 <author> Langley, P., & Simon, H. A. </author> <date> (1995). </date> <title> Applications of machine learning and rule induction. </title> <journal> Communications of the ACM, </journal> <volume> 38 (11), </volume> <pages> 55-64. </pages>
 <author> Kirkpatrick, S., Gelatt, C., & Vecchi, M. </author> <date> (1983). </date> <title> Optimization by simulated annealing. </title> <journal> Science, </journal> <volume> 220 (4598), </volume> <pages> 671-680. </pages>
-<author> C. Rosene, </author> <title> ``Incremental dependence analysis,'' </title> <booktitle> Ph.D. thesis, </booktitle> <institution> Rice University, </institution> <date> March 1990. </date>
+<author> C. Rosene, </author> <title> ``Incremental dependence analysis,'' </title> <tech> Ph.D. thesis, </tech> <institution> Rice University, </institution> <date> March 1990. </date>
 <author> Michalski, R. </author> <date> (1983). </date> <title> A theory and methodology of inductive learning. </title> <journal> Artificial Intelligence, </journal> <volume> 20, </volume> <pages> 111-161. </pages>
 <author> David R. Cheriton, Hendrik A. Goosen, and Philip Machanick. </author> <title> Restructuring a Parallel Simulation to Improve Cache Behavior in a Shared-Memory Multiprocessor: A First Experience. </title> <booktitle> In International Symposium on Shared Memory Multiprocessing, </booktitle> <pages> pages 109-118, </pages> <date> April 1991. </date>
 <author> Gmytrasiewicz, P. J., & Durfee, E. H. </author> <date> (1992). </date> <title> A logic of knowledge and belief for recursive modeling: Preliminary report. </title> <booktitle> In Proceedings of the Tenth National Conference on Artificial Intelligence, </booktitle> <pages> pp. 628-634 </pages> <location> San Jose, California. </location>
@@ -94,7 +94,7 @@
 <author> L. G. Valiant. </author> <title> A Bridging Model for Parallel Computation. </title> <journal> Communications of the ACM, </journal> <volume> 33(8), </volume> <pages> 103-111, </pages> <date> 1990. </date>
 <author> Ling, C. X. </author> <date> (1995). </date> <tech> Personal communication. </tech>
 <author> Albert R. Meyer and Mitchell Wand. </author> <title> Continuation semantics in typed lambda calculi (summary). </title> <editor> In Rohit Parikh, editor, </editor> <booktitle> Logics of Programs, </booktitle> <volume> volume 193, </volume> <booktitle> of Lecture Notes in Computer Science, </booktitle> <pages> pages 219-224. </pages> <publisher> Springer-Verlag, </publisher> <date> 1985. </date>
-<author> S. E. Conry, K. Kuwabara, V. R. Lesser and R. A. Meyer. </author> <date> (1991) </date> <title> Multistage Negotiation for Distributed Satisfaction, </title> <journal> IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Distributed Artificial Intelligence, </journal> <volume> 21(6), </volume> <pages> 1462-1477 </pages>.
+<author> S. E. Conry, K. Kuwabara, V. R. Lesser and R. A. Meyer. </author> <date> (1991) </date> <title> Multistage Negotiation for Distributed Satisfaction, </title> <journal> IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Distributed Artificial Intelligence, </journal> <volume> 21(6), </volume> <pages> 1462-1477 </pages>
 <author> Chernoff, H. </author> <date> (1952). </date> <title> A measure of the asymptotic efficiency for tests of a hypothesis based on the sum of observations. </title> <journal> Annals of Mathematical Statistics, </journal> <volume> 23, </volume> <pages> 493-509. </pages>
 <author> Flajolet, P., Gourdon, X., and Panario, D. </author> <title> Random polynomials and polynomial factorization. </title> <booktitle> In Automata, Languages, and Programming </booktitle> <date> (1996), </date> <editor> F. Meyer auf der Heide and B. Monien, Eds., </editor> <volume> vol. 1099, </volume> <booktitle> of Lecture Notes in Computer Science, </booktitle> <publisher> Springer-Verlag, </publisher> <pages> pp. 232-243. </pages> <booktitle> Proceedings of the 23rd ICALP Conference, Paderborn, </booktitle> <date> July 1996. </date>
 <author> Lars Ole Andersen. </author> <title> Program Analysis and Specialization for the C Programming Language. </title> <tech> PhD thesis, </tech> <institution> DIKU, University of Copenhagen, </institution> <date> May 1994. </date>
@@ -135,7 +135,7 @@
 <author> S. Majumdar, D. Eager, and R. Bunt. </author> <title> Scheduling in Multiprogrammed Parallel Systems. </title> <booktitle> Proc. of the ACM SIGMETRICS Conf. on Measurement & Modeling of Computer Systems </booktitle> <volume> 16, 1, </volume> <date> (May 1988), </date> <pages> 104-113. </pages>
 <author> S. Carr, K. S. McKinley, and C.-W. Tseng. </author> <title> Compiler optimizations for improving data locality. </title> <booktitle> In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VI), </booktitle> <location> San Jose, CA, </location> <date> October 1994. </date>
 <author> Fikes, R. E., & Nilsson, N. J. </author> <date> (1971). </date> <title> STRIPS: A new approach to the application of theorem proving to problem solving. </title> <journal> Artificial Intelligence, </journal> <volume> 2, </volume> <pages> 189-208. </pages> <note> Also in </note> <author> (Allen et al., </author> <date> 1990). </date> <title> Planning for Contingencies: A Decision-based Approach </title>
-<author> Felleisen, M. </author> <title> Programming languages and lambda calculi. </title> <location> URL: www.cs.rice.edu/~matthias/411web/mono.ps. </location>
+<author> Felleisen, M. </author> <title> Programming languages and lambda calculi. </title> <note> URL: www.cs.rice.edu/~matthias/411web/mono.ps. </note>
 <author> M. Herlihy and J. Wing, </author> <title> "Linearizability: A Correctness Condition for Concurrent Objects", </title> <journal> ACM Transactions on Programming Languages and Systems, </journal> <volume> Vol. 12, No. 3, </volume> <date> 1990, </date> <pages> pp. 463-492. </pages>
 <author> M. J. Wolfe and U. Banerjee. </author> <title> Data dependence and its application to parallel processing. </title> <journal> International Journal of Parallel Programming, </journal> <volume> 16(2), </volume> <pages> 137-178, </pages> <date> April 1987. </date>
 <author> Raab, F. H., </author> <title> "Remote object position locator". </title> <tech> US patent 4 0054 881 </tech> <date> October 18, 1977. </date>
@@ -304,7 +304,7 @@
 <author> Jaswinder Pal Singh, Wolf-Dietrich Weber, and Anoop Gupta. </author> <title> SPLASH: Stanford Parallel Applications for Shared Memory. </title> <journal> Computer Architecture News, </journal> <volume> 20(1), </volume> <pages> 5-44, </pages> <date> March 1992. </date>
 <author> Forbus, K. D. </author> <date> (1989). </date> <title> Introducing Actions in Qualitative Simulation. </title> <booktitle> Proceedings of IJCAI-89, </booktitle> <pages> 1273-1278. </pages>
 <author> M. C. Rinard and M. S. Lam. </author> <title> Semantic foundations of Jade. </title> <booktitle> In Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, </booktitle> <pages> pages 105-118, </pages> <date> January 1992. </date>
-<author> Webber, Bonnie Lynn and Mays, </author> <title> Eric </title> <date> (1983). </date> <title> Varieties of user misconceptions: Detection and correction. </title> <booktitle> In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, </booktitle> <location> Karlsruhe. </location> <pages> pages 650-652. </pages>
+<author> Webber, Bonnie Lynn and Mays, Eric </author> <date> (1983). </date> <title> Varieties of user misconceptions: Detection and correction. </title> <booktitle> In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, </booktitle> <location> Karlsruhe. </location> <pages> pages 650-652. </pages>
 <author> C. Baru, O. Frieder, D. Kandlur, and M. Segal. </author> <title> Join on a cube: Analysis, simulation, and implementation. </title> <editor> In M. Kitsuregawa and H. Tanaka, editors, </editor> <booktitle> Database Machines and Knowledge Base Machines. </booktitle> <publisher> Kluwer Academic Publishers, </publisher> <date> 1987. </date>
 <author> Pryor, L., & Collins, G. </author> <date> (1993). </date> <title> Cassandra: Planning with contingencies. </title> <tech> Technical report 41, </tech> <institution> Institute for the Learning Sciences, Northwestern University. </institution>
 <author> Harper, M. P., & Helzerman, R. A. </author> <date> (1995b). </date> <title> Managing multiple knowledge sources in constraint-based parsing of spoken language. </title> <journal> Fundamenta Informaticae, </journal> <volume> 23 (2, 3, 4), </volume> <pages> 303-353. </pages>
@@ -498,3 +498,478 @@
 <author> Webb, G. I., & Brkic, N. </author> <date> (1993). </date> <title> Learning decision lists by prepending inferred rules. </title> <booktitle> In Proceedings of the Australian Workshop on Machine Learning and Hybrid Systems, </booktitle> <pages> pp. 6-10 </pages> <location> Melbourne, Australia. </location>
 <author> Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., </author> <title> Integrating Reflection into SLD-Resolution, </title> <editor> in: A. Momigliano and M. Ornaghi (eds.), </editor> <booktitle> Proc. Post-Conf. Ws. on Proof-Theoretical Extensions of Logic Programming, </booktitle> <date> 1994. </date>
 <author> R. Rosenfeld and D. S. Touretzky. </author> <title> Coarse-coded symbol memories and their properties. </title> <journal> Complex Systems, </journal> <volume> 2(4) </volume> <pages> 463-484, </pages> <date> 1988. </date>
+<author> A. Aggarwal, B. Alpern, A. K. Chandra, and M. Snil. </author> <title> A model for hierarchical memory. </title> <booktitle> In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, </booktitle> <pages> pages 305-313, </pages> <date> 1987. </date>
+<author> A. Aiken and E. L. Wimmers. </author> <title> Type inclusion constraints and type iafexence. </title> <booktitle> In Proceedings of the ACM SIGPLAN Conference on Fundional Programming Languages Computer Architecture, </booktitle> <pages> pages 31-41, </pages> <date> 1993. </date>
+<author> A. Avritzer and B. Larson. </author> <title> Load testing software using deterministic state testing. </title> <booktitle> Proceedings of the 1993 International Symposium on Software Testing Analysis ISSTA. </booktitle> <publisher> ACM Press, </publisher> <date> June 1993, </date> <pages> pages 82-88. </pages>
+<author> A. C. Yao. </author> <title> The entropic limitations on VLSI computations. </title> <booktitle> In Proceedings of the 13 th Annual ACM Symposium on Theory of Computing, </booktitle> <location> Milwaukee, Wisconsin, </location> <pages> pages 308-311, </pages> <date> May 1981. </date>
+<author> A. D. Falkoff. </author> <title> "Formal Description of Processes -The First Step in Design Automation", </title> <booktitle> Proceedings of the Second Annual SHARE Workshop on Design Automation, </booktitle> <location> Atlantic City, </location> <date> June 1965. </date>
+<author> A. Lingas. </author> <title> "On Approximating Behavior and Implementation of the Greedy Triangulation for Convex Planar Point Sets." </title> <booktitle> Proceedings of the Second Annual ACM Symposium on Computational Geometry </booktitle> <date> (1986) </date> <pages> pages 72-79. </pages>
+<author> A. M. Disney and P. M. Johnson. </author> <title> Investigating data quality problems in the PSP. </title> <booktitle> In Proceedings of the ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering, </booktitle> <pages> pages 143-148 </pages>
+<author> A. Michail. </author> <title> Data mining library reuse patterns using generalized association rules. </title> <booktitle> In Proceedings of the 22nd International Conference on Software Engineering, </booktitle> <date> 2000. </date>
+<author> A. P. Sistla and O. Wolfson. </author> <title> Temporal Conditions and Integrity Constraints in Active Database Systems. </title> <booktitle> In Proceedings of the 1995 ACM SIGMOD Intl. Conference on Management of Data, </booktitle> <pages> pages 269-280, </pages> <date> 1995. </date>
+<author> A. R. Bruss and A. R. Meyer. </author> <title> "On time-space classes and their relation to the theory of real addition". </title> <booktitle> Proceedings of the Tenth Annual ACM Symposium on Theory of Computing, </booktitle> <date> May, 1978, </date> <pages> pages 233-239. </pages>
+<author> Ahlberg, C., and Shneiderman, B. </author> <title> Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays, </title> <booktitle> in Proceedings of the ACM SIGCHI Conference on Human Factors in Computing System clebrating independence </booktitle> <location> (Boston MA, </location> <date> April 1994) </date>
+<title> Akihiko Takano and Erik Meijer. Shortcut deforestation in calculational form. </title> <booktitle> In Proceedings Conference on Functional Programming Languages Computer Architecture, </booktitle> <pages> pages 306-313, </pages> <date> 1995. </date>
+<author> Akima, </author> <title> A New Method of Interpolation and Smooth Curve Fitting Based on Local Procedures, </title> <journal> Journal of the ACM, </journal> <volume> volume 17, No 4, </volume> <date> October, 1970, </date> <pages> pages 589-602. </pages>
+<author> Alan Borning. </author> <title> The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. </title> <journal> A GM 2ansactions on Programming Languages and Systems, </journal> <volume> 3(4):</volume><pages>353-387, </pages> <date> October 1981. </date>
+<author> Albers, Michael </author> <date> (1999). </date> <title> Information design considerations for improving situation awareness in complex problem-solving. </title> <booktitle> In Proceedings of the Seventeenth Annual Conference of Computer Documentation </booktitle> <pages> (pages 154-158). </pages> <location> New Orleans </location>
+<author> Anders Bondorf and Jens Palsberg. </author> <title> Compiling actions by partial evaluation. </title> <booktitle> In Proceedings of the 5th Conference on Functional Languages Computer Architecture, </booktitle> <pages> pages 308-320. </pages> <publisher> ACM, </publisher> <date> 1993. </date>
+<author> Anthony Savidis and Constantine Stephanidis. </author> <title> Developing dual user interfaces for integrating blind and sighted users: the HOMER UIMS. </title> <booktitle> in Proceedings of CHI '95. </booktitle> <publisher> ACM SIGCHI, ACM  Press, </publisher> <date> May 1995. </date>
+<author> Arun N. Lokanathan, Jay B. Brockman and John E. Renaud. </author> <title> "A Methodology for Concurrent Fabrication Process/Cell Library Optimization", </title> <booktitle> In Proceedings of the 33rd IEEE/ACM Design Automation Conference, </booktitle> <date> June 1996. </date>
+<author> Arvillias, A. C. and D. G. Maritsas. </author> <title> "Partitioning the Period of a Class of m-Sequences and Application to Pseudorandom Number Generation," </title> <journal> Journal of the ACM </journal> <volume> (25), </volume> <date> 1978, </date> <pages> pages 675-686. </pages>
+<author> Ashley, K. D. and Rissland E. L., </author> <title> Accord: Generating Blue Book Citations in HYPO. </title> <booktitle> Proceedings of 1st International Conference on Artificial Intelligence Law ICAIL-871, </booktitle> <pages> pages 67-14. </pages> <location> New York: </location> <publisher> ACM Press. </publisher>
+<author> Atsushi Ohori and Peter Buneman. </author> <title> Type inference in a database langage. </title> <booktitle> In ACM Conference on LISP Functional Programming, </booktitle> <pages> pages 174-183, </pages> <date> 1988. </date>
+<author> Avrim Blum. </author> <title> Learning Boolean functions in an infinite attribute space. </title> <booktitle> In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, </booktitle> <pages> pages 64-72, </pages> <location> New York, </location> <date> May 1990 </date>
+<author> B. A. Barsky and J. C. </author> <date> 1983, </date> <title> Local control of bias and tension in Beta-splines, </title> <journal> ACM Transactions on Graphics, </journal> <volume> 2, </volume> <pages> pages 109-134. </pages>
+<author> B. ChazeUe, </author> <title> New techniques for computing order statistics in Euclidean space. </title> <booktitle> Proceedings of the First Annual ACM Symposium on Computational Geometry, </booktitle> <pages> 125-134, </pages> <date> 1985. </date>
+<author> B. L. Peuto and L. J. Shustek. </author> <title> An instruction Timing Model of CPU Performance, </title> <booktitle> Proceedings of the 4th Annual Symposium on Computer Architecture, </booktitle> <location> Maryland New York, </location> <date> March 1977, </date> <pages> 165-178. </pages>
+<author> BANCILHON, F., AND RAMAKRISHNAN, R. </author> <title> An amateur's introduction to recursive query processing strategies, </title> <booktitle> in Proceedings of the ACM SIGMOD International Conference on Management of Data </booktitle> <location> (Washington, </location> <date> May 28-30). </date> <publisher> ACM, </publisher> <location> New York, </location> <date> 1986, </date> <pages> pp 16-52. </pages>
+<author> BLAME, P. W., AND HASTAD, J. </author> <title> Optimal bounds for decision problems on the CRCW PRAM. </title> <booktitle> In Proceedings of the 19th ACM Symposium on Theory of Computing </booktitle> <location> (New  York, </location> <date> May 25-27). </date> <publisher> ACM, </publisher> <location> New York, </location> <date> 1987, </date> <pages> pages 83-93. </pages>
+<author> BONATTI P., DE CAPITANI DI VIMERCATI S., AND SAMARATI, P. </author> <date> 2000. </date> <title> A modular approach to composing access control policies. </title> <booktitle> In Proceedings of the Seventh ACM Conference on Computer Communication Security CCS, </booktitle> <date> 2000 </date> <location> (Athens York, Greece, </location> <date> Nov.), </date> <pages> pages 164-173. </pages>
+<author> BOOTH, K.S., AND LEUKER, G.S. </author> <title> Linear algorithms to recognize interval graphs and test for the consecutive ones property. </title> <booktitle> Proceedings 7th Annual ACM Symposium on Theory of Computing  </booktitle> <location> (Albuquerque, New Mex., </location> <date> May 1975), </date> <pages> pages 255-265. </pages>
+<author> Barry Silverman. </author> <title> Survey of Expert Critiquing Systems: Practical and Theoretical Frontiers. </title> <journal> Communications of the ACM, </journal> <volume> 35(4):</volume><pages>106-127, </pages> <date> April 1992. </date>
+<author> Barry W. Smith, </author> <title> Symbolic notations for statistical tables and an approach towards automatic systems design, </title> <journal> Communications of the ACM Association for Computing Machinery, </journal> <volume> volume 8, No 6, </volume> <date> June 1965. </date>
+<author> Batageli, Vladimir, </author> <title> The quadratic hash method when the table is not a prime number, </title> <journal> Communications of the ACM, </journal> <volume> 18, 4 </volume> <date> (April 1975), </date> <pages> pages 216-217. </pages>
+<author> Berlage, T. </author> <title> Using Taps to Separate the Application Code from the User Interface. </title> <booktitle> Proceedings of the ACM Symposium on User Interface Software Technology </booktitle> <location> (Monterey, CA, </location> <date> Nov 15-18, 1992), </date> <pages> pages 191-198. </pages>
+<author> Biles, William E. and James J. </author> <title> "Strategies for Optimization of Multiple-Response Simulation Models," </title> <booktitle> Proceedings of the Winter Simulation Conference </booktitle> <pages> .135-142. </pages> <location> New York: </location> <publisher> IEEE Press, </publisher> <date> 1977. </date>
+<author> Bill Pottenger and Rudolf Eigenmann. </author> <title> idiom Recognition in the Polaris Parallelizing Compiler. </title> <booktitle> Proceedings of the 9th ACM International Conference on $upercomputing, </booktitle> <location> Barcelona, Spain, </location> <pages> pages 444-448, </pages> <date> July 1995. </date>
+<author> Borning, Alan. </author> <title> The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory. </title> <journal> ACM Transactions on Programming Languages Systems, </journal> <volume> 3(4):</volume><pages>353-387, </pages> <date> Oct., 1981. </date>
+<author> Brad Calder and Dirk Gmnwald. </author> <title> Next cache line and set prediction. </title> <booktitle> In 22nd Annual International Symposium of Computer Architecture, </booktitle> <pages> pages 287-296. </pages> <publisher> ACM, </publisher> <date> June 1995. </date>
+<author> Brandon Goldfedder and Linda Rising. </author> <title> A training experience with patterns. </title> <journal> Communications of the ACM, </journal> <volume> 39(10):</volume><pages> 60-64, </pages> <date> October 1996 </date>
+<author> Brian Cantwell Smith. </author> <title> ReflSection and semantics in Lisp. </title> <booktitle> In Proceedings of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, </booktitle> <pages> pages 23-35. </pages> <publisher> ACM, </publisher> <date> January 1984. </date>
+<author> Brian K. Reid. </author> <title> A high-level approach to computer document formatting. </title> <booktitle> In Conference Record of 7th annual Symposium on Principles of Programming Languages. </booktitle> <pages> pages 24-31, </pages> <location> Las Vegas, Nevada, </location> <date> January 1980. </date>
+<author> Brown J, Graham T C N, and Wright T,. </author> <title> The Vista Environment for the Coevolutionary Design of User Interfaces. </title> <booktitle> In Proceedings of Human Factors in Computing Systems CHf'98, </booktitle> <publisher> ACM Press, </publisher> <location> Los Angeles, USA, </location> <date> April 1998 </date>
+<author> Brown and Dobbie. </author> <title> A learning criterion for stochastic rules on Supporting and Evaluating Team Dynamics in Group Projects. </title> <booktitle> in Proceedings of the thirty SIGCSE Technical Symposium on Computer Science </booktitle> <date> (1999), </date> <publisher> ACM Press, </publisher> <pages> 281 -285. </pages>
+<author> Brynjolfsson, E. and Yang, S. </author> <title> Intangible benefits and costs of computer investments: Evidence from the financial market. </title> <booktitle> In Proceedings of the International Conference on Information Systems </booktitle> <location> (Atlanta, GA., </location> <date> Dec. 1997). </date>
+<author> C. B. Stunkel and W. K. Fuchs. </author> <title> TRAPEDS: Producing traces for multicomputers via execution driven simulation, </title> <booktitle> in Proceedings of the International Conference on Measurement Modeling of Computer Systems, </booktitle> <pages> pages 70-78, </pages> <date> May 1989. </date>
+<author> C. Consel and F. Noel. </author> <title> A General Approach for Run-Time Specialization and its Application to C. </title> <booktitle> In Conference Record of the 23rd Symposium on Principles of Programming Languages, </booktitle> <pages> pages 145-156, </pages> <date> Jan. 1996 </date>
+<author> C. Creveuil and G. Roman. </author> <title> Formal specification and design of a message router. </title> <journal> ACM Transactions on Software Engineering Methodology, </journal> <volume> 3(4):</volume><pages>271-307, </pages> <date> 1994. </date>
+<author> C. Ruggieri and T. P. Murtagh. </author> <title> Lifetime analysis of dynamically allocated objects. </title> <booktitle> In Proceedings of the 15th ACM Symposium on Principles of Programming Languages, </booktitle> <pages> pages 285-293, </pages> <date> 1988. </date>
+<author> C. W. Tseng. </author> <title> Compiler optimizations for eliminating barrier synchronization. </title> <booktitle> In Proceedings of the Fifth ACM/SiGPLAN Symposium on Principles Practice of Parallel Programming, </booktitle> <pages> pages 144-155, </pages> <date> July 1995. </date>
+<author> CABRAL, B., CAM, N., FORAN, J. </author> <title> Accelerated Rendering Tomographic Reconstruction Using Texture Mapping Hardware. </title> <booktitle> Proceedings of the 1994 Symposium on Volume Visualization </booktitle> <location> (Washington, </location> <date> October 1994), </date> <pages> pages 91-97, pages 131 </pages>
+<author> CALLAHAN, D. AND KOBLENZ, B. </author> <date> 1991. </date> <title> Register allocation via hierarchical graph coloring. </title> <booktitle> In Proceedings of the 1991 ACM SIGPLAN Conference on Programming Language Design Implementation. </booktitle> <publisher> ACM, </publisher> <location> New York, </location> <pages> 192-203. </pages>
+<author> CHAZELLE, B. </author> <date> 1994. </date> <title> Computational geometry: A retrospective. </title> <booktitle> In Proceedings of the 26th Annual ACM Symposium on Theory of Computing </booktitle> <location> (Montreal, Que., Canada, </location> <date> May  23-25). </date> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 75-94. </pages>
+<author> COLE, R., AND GOODRICH, M. T. </author> <date> 1988. </date> <title> Optimal parallel algorithms for polygon and point-set problems. </title> <booktitle> In Proceedings of the 4th ACM Symposium on Computational Geometry. ACM, </booktitle> <location> New York, </location> <pages> pages 201-210. </pages>
+<author> CONKLIN, J. AND BEGEMAN, M. L. </author> <date> 1988. </date> <title> gIBIS: a hypertext tool for exploratory policy discussion. </title> <booktitle> In Proceedings of the ACM Conference on Computer-Supported Cooperative Work CSCW '88, </booktitle> <location> Portland, OR, </location> <date> Sept.  26-28). </date> <publisher> ACM Press, </publisher> <location> New York, NY, </location> <pages> pages 140-152. </pages>
+<author> Carabetta, J.. </author> <title> "The Planning and Procedures Associated with the Western New England College Winter Invitational High School Programming Contest," </title> <journal> ACM SIGCSE Bulletin, </journal> <volume> volume 19, No 2, </volume> <pages> pages 29-35 </pages> <date> (June 1987). </date>
+<author> Cary Gray and David Cheriton. </author> <title> Leases: An efficient faulttolerant mechanism for distributed file cache consistency. </title> <booktitle> In Proceedings of the Twelfth Symposium on Operating Systems Principles, </booktitle> <pages> pages 202-210. </pages> <publisher> ACM, </publisher> <date> December 1989. </date>
+<author> Christian Collberg. </author> <title> Reverse interpretation + mutation analysis -automatic retargeting. </title> <booktitle> In Proceedings of the SIGPLAN '97 Conference on Programming Language Design Implementation, </booktitle> <date> June 1997. </date>
+<author> Clark, Thomas D. and William A. Shrode. </author> <title> "Public Utility Operation and Growth: A System Simulation Model," </title> <booktitle> Proceedings of the Winter Simulation Conference, </booktitle> <date> December 1978, </date> <location> Miami, Florida, </location> <pages> pages 806-814. </pages>
+<author> Claus-Werner Lermen and Dieter Maurer. </author> <title> A protocol for distributed reference counting. </title> <booktitle> In Proceedings 1986 ACM Conference on Lisp Functional Programming, </booktitle> <pages> pages 343-350, </pages> <journal> ACM SIGPLAN/SIGACT/SIGART, </journal> <location> Cambridge, Massachusetts, </location> <date> August 1986. </date>
+<author> Clement, J., Lochhead, J., and Soloway, E., </author> <title> Positive Effects of Computer Programming On Students Understanding of Variables and Equations. </title> <booktitle> Proceedings of the National ACM Conference, </booktitle> <location> Nashville, Tenn., </location> <date> 1980. </date>
+<author> CousoT, P. AND COUSOT, R. </author> <date> 1977. </date> <title> Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. </title> <booktitle> In Proceedings of the 4th ACM Symposium on the Principles of Programming Languages. </booktitle> <publisher> ACM, </publisher> <location> New York. </location>
+<author> D. A. Henderson and S. K. Card. </author> <title> Rooms: The Use of Multiple Virtual Workspaces to Reduce Space Contention in a Window-Based Graphical User interface. </title> <journal> ACM Transactions on Graphics, </journal> <volume> 5(3):</volume><pages>211-243, </pages> <date> 1986. </date>
+<author> D. A. Van Veldhuizen and G. B. Lamont. </author> <title> Multiobjectire Evolutionary Algorithm Test Suites. </title> <booktitle> In Proceedings of the 1999 ACM Symposium on Applied Computing. ACM, </booktitle> <date> 1999. </date>
+<author> D. Agrawal, A. El Abbadi, A. Singh and T. Yurek. </author> <title> Efficient View Maintenance at Data Warehouses. </title> <booktitle> In proceedings of the 1997 ACM international conference on Management of Data, </booktitle> <pages> pages 417-427, </pages> <date> May 1997 </date>
+<author> D. C. Schmidt, </author> <title> Experience Using Design Patterns to Develop Reuseable Object-Oriented Communication Software, </title> <journal> Communications of the ACM Special Issue on Design Patterns, </journal> <volume> volume 38, No 10, </volume> <date> 1995. </date>
+<author> D. F. Jerding, J. T. Stasko, and T. Ball. </author> <title> Visualizing interactions in program executions. </title> <booktitle> In Proceedings of the 19th International Conference on Software Engineering ICSE '97, </booktitle> <pages> pages 360-371, </pages> <date> May 1997. </date>
+<author> D. J. Richardson."TAOS: </author> <title> Testing with Oracles and Analysis Support."In </title> <booktitle> Proceedings of the 1994 International Symposium on Software Testing Analysis, </booktitle> <pages> pages 138-153. </pages> <location> Seattle, Washington, </location> <date> August 1994. </date>
+<author> D. Leven and M. Sharir. </author> <title> An Efficient and Simple Motion Planning Algorithm for a Ladder Moving in Two-Dimensional Space Amidst Polygonal Barriers, </title> <booktitle> Proceedings of the 1st ACM Symposium on Computational Geometry, </booktitle> <date> 1985, </date> <pages> pages 211-227. </pages>
+<author> D. R. Engler, M. F. Kaashoek, J. W. O'Toole Jr. </author> <title> Exokernel: An Operating System Architecture for Application Level Resource Management. </title> <booktitle> In Proceedings of the 15th ACM Symposium on Operating Systems Principles, </booktitle> <pages> pages 251-266, </pages> <location> Colorado, USA, </location> <date> December 1995. </date>
+<author> DAVIS, P. K. AND HILLESTAD, R.J. </author> <date> 1993. </date> <title> Computational models of information scentfollowing in a very large browsable text collection. </title> <booktitle> In Proceedings of the 1993 Winter Simulation Conference, </booktitle> <publisher> ACM, </publisher> <location> New York. </location>
+<author> DEGEN L., MANNER R., AND SALOMON, G. </author> <date> 1992. </date> <title> Working with audio: Integrating personal tape recorders and desktop computers. </title> <booktitle> In Proceedings of CHI '92 Conference on Human Factors in Computing Systems. </booktitle> <publisher> ACM, </publisher> <location> New York, </location> <pages> 413-418. </pages>
+<author> DWORK, C., AND WAARTS, O. </author> <date> 1992. </date> <title> Simple and efficient bounded concurrent timestamping or bounded concurrent timestamp systems are comprehensible. </title> <booktitle> In Proceedings of the 24th ACM Symposium on the Theory of Computing. </booktitle> <publisher> ACM, </publisher> <location> New York, </location> <pages> 655-666. </pages>
+<author> Dan Suciu and Val Breazu-Tannen. </author> <title> A query language for NC. </title> <booktitle> In Proceedings of 13th ACM Symposium on Principles of Database Systems, </booktitle> <location> Minneapofis, Minnesota, </location> <date> May 1994 </date>
+<author> Daniel P. Huttenlocher, </author> <title> Klara Kedam and Micha Sharir. The Upper Envelope of Voronoi Surfaces and its Applications, </title> <booktitle> Proceedings of the 7th Annual Symposium on Computational Geometry, </booktitle> <date> (1991) </date> <pages> pages 194-203. </pages>
+<author> David B. Leblang and Robert P. Chase, Jr. </author> <title> Computer-Aided Software Engineering in a Distributed Workstation Environment. </title> <booktitle> In Proceedings of the ACM SIGSOFTISIGPLAN Software Engineering Symposiumm on Practical Software Development Environments, </booktitle> <pages> pages 104-l1 </pages>
+<author> David F. Bacon and Robert E. Strom. </author> <title> Optimistic Parallelization of Communicating Sequential Processes. </title> <booktitle> ACM SiGPLAN Symposium on Principles Practice of Parallel Programming, </booktitle> <date> April 1991. </date>
+<author> David R. Cheriton and Willy Zwaenepoel. </author> <title> The distributed V kernel and its performance for diskless workstations. </title> <booktitle> In Proceedings of the Ninth ACM Symposium on Operating Systems Principles, </booktitle> <pages> pages 129-140, </pages> <date> October 1983. </date>
+<author> David R. Karger, Philip N. Klein, and Robert E. Tarjan. </author> <title> A randomized linear-time algorithm to find minimum spanning trees. </title> <journal> Journal of the ACM, </journal> <volume> 42(2):</volume><pages>321-328, </pages> <date> 1995. </date>
+<author> David R. Karger. </author> <title> Minimum cuts in near-linear time. </title> <booktitle> In Proceedings of the 28th ACM Symposium on Theory of Computing. ACM, </booktitle> <publisher> ACM Press, </publisher> <date> May 1996. </date> <location> Philadelphia PA. </location>
+<author> Davis, A. </author> <title> A Comparison of Techniques for the Specification of External System Behavior. </title> <journal> Communications of the ACM </journal> <volume> 3I, 9 </volume> <date> (Sept. 1988), </date> <pages> pages 1098-1115 </pages>
+<author> Deutsch A. </author> <title> "Interprocedural may-alias analysis for pointers: Beyond k-limiting," </title> <booktitle> Proceedings of the ACM SIGPLAN 94 Conference on Programming Language Design Implementation, </booktitle> <pages> pages 230-241 </pages> <date> (June 1994). </date>
+<author> Dorai Sitaram and Matthias Felleisen. </author> <title> Reasoning with continuations II: Full abstraction for models of control. </title> <booktitle> In Proceedings 1990 Conference on LISP Functional Programming, </booktitle> <pages> pages 161-175, </pages> <date> June 1990. </date>
+<author> E. Soloway. </author> <title> "Learning to Program -Learning to Construct Mechanisms and Explanations", </title> <journal> Communications of the ACM, </journal> <volume> volume 29 </volume>
+<author> Edith Cohen and Nimrod Megiddo. </author> <title> Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Dynamic Graphs. </title> <booktitle> Proceddings of the 21st ACM Annual Symposium on Theory of Computing, </booktitle> <pages> pages 523-534, </pages> <date> 1989. </date>
+<author> Edwina L. Rissland and Jody J. Daniels. </author> <title> A Hybrid CBR-IR Approach to Legal Information Retrieval. </title> <booktitle> In Proceedings 5th International Conference on Artificial Intelligence an Law, </booktitle> <pages> pages 52-61, </pages> <date> May 1995. </date> <publisher> ACM. </publisher>
+<author> Estrin, G.. </author> <title> "Modeling for Synthesis -The Gap Between Intent and Behavior," </title> <booktitle> Proceedings of the Symposium on Design Automation Micro-Processors, </booktitle> <location> Palo Alto, California, </location> <date> February 1977 </date>
+<author> F. Lockwood Morris. </author> <title> Advice on structuring compilers and proving them correct. </title> <booktitle> In Proceedings of the First ACM Symposium on Principles of Programming Languages, </booktitle> <pages> pages 144-152, </pages> <date> 1973. </date>
+<author> FICH, F., HERLIHY, M., AND SHAVIT, N. </author> <date> 1993. </date> <title> On the space complexity of randomized synchronization. </title> <booktitle> In Proceedings of the 12th Annual ACM Symposium on Principles of Distributed Computing Ithaca, </booktitle> <date> Aug. 15-18). </date> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 241-250. </pages>
+<author> FRANCEZ, N., AND KOZEN, D. </author> <title> Generalized fair termination. </title> <booktitle> In Proceedings of the llth ACM Symposium on the Principles of Programming Languages. </booktitle> <location> Salt Lake City, Utah, </location> <date> Jan 15-18 1984, </date> <pages> pages 46-53. </pages>
+<author> Feuer, Alan R. and Edward B. Fowlkes. </author> <title> Some Results from an Empirical Study of Computer Software, </title> <booktitle> in Proceedings 4th International Conference on Software Engineering. </booktitle> <location> Los Alamitos, California: </location> <publisher> IEEE Computer Society Press, </publisher> <date> 1979. </date> <pages> pages 351-355. </pages>
+<author> Fishwick, P. A. </author> <date> 1992. </date> <title> An Integrated Approach to System Modelling using a Synthesis of Artificial Intelligence, Software Engineering and Simulation Methodologies. </title> <journal> ACM Transactions on Modehng Computer Szmulatzon, </journal> <volume> 2(4):</volume><pages>307-330. </pages>
+<author> Foltz, P.W. </author> <title> Using Latent Semantic Indexing for information filtering. </title> <booktitle> In Proceedings of theACM Conference on Office Information Systems </booktitle> <location> (Boston, </location> <date> Apr. 25-27). </date> <publisher> ACM/SIGOIS, </publisher> <location> New York, </location> <date> 1990, </date> <pages> pp, 40-47, </pages>
+<author> Furuta R, C. Marshall, F. Shipman, and J. Leggett, J. </author> <date> 1996. </date> <title> Physical objects in the digital library. </title> <booktitle> In Proceedings of the 1st ACM International Conference on Digital Libraries. </booktitle> <location> New York: </location> <publisher> ACM Press, </publisher> <pages> 109-115. </pages>
+<author> G. Ammons and J. R. Larus. </author> <title> "Improving Data-flow Analysis with Path Profiles," </title> <booktitle> in Proceedings of the SiGPLAN '98 Conference on Programming Language Design Implementation. </booktitle> <location> Montreal, Canada, </location> <date> 1998, </date> <pages> pages 72-84. </pages>
+<author> G. Bristow, C. Drey, B. Edwards and W. Riddie. </author> <title> Anomaly Detection in Concurrent Programs. </title> <booktitle> Proceedings of the Jib International Conference on Software Engineering, </booktitle> <pages> 265-273, </pages> <date> 1979. </date>
+<author> G. C. Necula. </author> <title> Proof-carrying code. </title> <booktitle> In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, </booktitle> <location> Paris, France, </location> <date> January 15-17 1997. </date>
+<author> G. Cooperman and M. Tselman. </author> <title> "New Sequential and Parallel Algorithms for Generating High Dimension Hecke Algebras using the Condensation Technique", </title> <booktitle> Proceedings of International Symposium on Symbolic Algebraic Computation ISSAC '96, </booktitle> <publisher>  ACM Press, </publisher> <date> 1996, </date> <pages> pages 1 </pages>
+<author> G. L. Peterson. </author> <title> A new solution to Lamport's concurrent programming problem using small shared variables. </title> <journal> ACM Transactions on Programming Languages Systems, </journal> <volume> 5(1):</volume><pages>56-65, </pages> <date> 1983. </date>
+<author> G. M. Lohman. </author> <title> "Grammar-Like Functional Rules for Representing Query Optimization Alternatives," </title> <booktitle> Proceedings of the ACM SIGMOD International Conference on the Management of Data, </booktitle> <pages> pages 18-27, </pages> <location> Chicago, IL, </location> <date> June 1988 </date>
+<author> G. Tiruvuri and M. t2hung. </author> <title> Estimation of lower bounds in scheduling algorithms for high-level synthesis. </title> <journal> ACM Transactions on Design Automation of Electronic Systems, </journal> <volume> 3(2):</volume><pages>162-180, </pages> <date> Apr. 1998. </date>
+<author> G.D. Stamoulis and J. N. </author> <title> Tsitsiklis. The efficiency of greedy routing in hypercubes and butterflies. </title> <booktitle> In Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms Architectures, </booktitle> <pages> pages 248-259, </pages> <date> July 1991. </date>
+<author> G.J. Holzmann and Margaret H. Smith. </author> <title> A practical method for the verification of event-driven software. </title> <booktitle> In Proceedings of the 1999 international conference on Software engineering ICSE99, </booktitle> <pages> pages 597-607, </pages> <location> Los Angeles, CA, USA, </location> <date> May 1999. </date> <publisher> ACM Press. </publisher>
+<author> GLANVILLE, R. S., AND GRAHAM, S. L. </author> <date> 1978. </date> <title> A new method for compiler code generation. </title> <booktitle> In Conference Record of the 5th Annual Symposium on Principles of Programming Languages (Tucson, Ariz., </booktitle> <date> Jan. 23-25). </date> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 231-240. </pages>
+<author> Gaver W. </author> <title> The Affordances Of Media Spaces For Collaboration. </title> <booktitle> In Proceedings Of ACM Conference On Computer Supported Collabo rative Work </booktitle> <date> 1992. </date> <pages> pages 17-24. </pages>
+<author> Gene T. J. Wuu and Arthur J. Bernstein. </author> <title> Efficient solutions to the replicated log and dictionary problems. </title> <booktitle> In Proceedings of the 3rd Symposium on Principles of Distributed Computing, </booktitle> <pages> pages 233-242, </pages> <location> Vancouver, Canada, </location> <date> August 1984. </date>
+<author> George W. Cherry. </author> <title> S-R Machines: a Visual Formalism for Reactive and Interactive Systems. </title> <journal> ACM Software Engineering Notes, </journal> <volume> 16(3):</volume><pages>52-55, </pages> <date> July 1991. </date>
+<author> Glynn, P. W. </author> <title> On the role of generalized semi-Markov processes in simulation output analysis. </title> <booktitle> In Proceedings of the 1983 Winter Simulation Conference, </booktitle> <date> (1983), </date> <pages> pages 39-42. </pages>
+<author> Gomaa, H. </author> <title> A Software Design Method for Real-Time Systems, </title> <journal> Communications of the ACM </journal> <date> (1984) </date>
+<author> Goodenough, J. B., Sha, L. </author> <title> The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks. </title> <booktitle> Proceedings of the International Workshop of ReaI-Time Ada Issues, </booktitle> <date> June 1988. </date>
+<author> Gries, D. and Prins, J. </author> <date> 1985. </date> <title> A new notion of encapsulation. </title> <journal> In Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments. </journal> <volume> no 7, 18. </volume> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 131-139. </pages>
+<author> Grinter, R. E. </author> <title> Recomposition: Putting It All Back Together Again. </title> <booktitle> in ACM Conference on Computer Supported Cooperative Work CSCW '98. </booktitle> <date> 1998. </date> <location> Seattle, Washington: </location> <publisher> ACM Press </publisher>
+<author> Grudin, J., and Poltrock, S.E. </author> <title> User interface design in large corporations: Coordination and communication across disciplines. </title> <booktitle> In Proceedings CHI '89 Human Factors in Computing Systems. </booktitle> <publisher> ACM, </publisher> <location> New York, </location> <date> 1981, </date> <pages> pages 197-203. </pages>
+<author> Guy L. Steele Jr. and Jon L. White. </author> <title> How to print floating-point numbers accurately. </title> <booktitle> ACM SIGPLAN '90 Conference on Programming Language Design Implementation, </booktitle> <volume> 25(6):</volume> <pages> 112-126, </pages> <date> June 1990. </date>
+<author> H. Schftze and C. Silverstein. </author> <title> Projections for efficient document clustering. </title> <booktitle> In Proceedings of the Annual International ACM SIGIR Conference on Research Development in Information Retrieval, </booktitle> <date> 1997. </date>
+<author> HYLAND J. M. E. AND ONG C. H.L. </author> <date> 1995. </date> <title> Pi-cMculus dialogue games and full abstraction for PCF. </title> <booktitle> In Proceedings of the Conference on Functional Programming Languages Computer Architecture </booktitle> <location> (New York, NY, USA, </location> <date> June 1995), </date> <pages> pages 96-107. </pages> <publisher> ACM Press. </publisher>
+<author> Haines, D., Croft, W. B. </author> <title> Relevance feedback and inference networks, </title> <booktitle> In Proceedings of the Sixteenth Annual International ACM SIGIR Conference on Research Development in Information Retrieval, </booktitle> <pages> pages 2-11 </pages> <date> (1993) </date>
+<author> Henry Massalin, </author> <title> Superoptimizer A Look at the Smallest Program, </title> <booktitle> in Proceedings of the Second International Conference on Architectural Support for Programming Languages Operating Systems ASPLOS II, </booktitle> <pages> pages 122-126, </pages> <date> 1987. </date>
+<author> Hill, W. </author> <title> How Some Advice Fails. </title> <booktitle> Proceedings of the 1989 ACM Conference on Human Factors in Computing Systems, </booktitle> <pages> pages 85-90, </pages> <date> 1989. </date>
+<author> Histad, J., </author> <date> (1986), </date> <title> Almost Optimal Lower Bounds for Small Depth Circuits, </title> <booktitle> in Proceedings of the 18th ACM Symposium on Theory of Computing, </booktitle> <pages> pages 6-20. </pages>
+<author> I. D. Baxter. </author> <title> DMS transformational software maintenance by reuse: A production research system? </title> <booktitle> In Proceedings of the Fifth Symposium on Software Reusability, </booktitle> <pages> page 163. </pages> <publisher> ACM, </publisher> <date> 1999. </date>
+<author> IOANNIDIS, Y. E. AND KANG, Y. C. </author> <date> 1990. </date> <title> Randomized algorithms for optimizing large join </title>
+<author> J. Bradley Chen and Brian N. Bershad. </author> <title> The Impact of Operating System Structure on Memory System Performance. </title> <booktitle> In Proceedings Conference of SIGIR. </booktitle> <pages> pages 120-133, </pages> <date> Dec. 1993. </date>
+<author> J. Buhler and M. Tompa. </author> <title> Finding motifs using random projections. </title> <booktitle> In Proceedings of the Fifth Annual International Conference on Computational Molecular Biology RECOMB-01, </booktitle> <pages> pages 69-76, </pages> <location> Montreal, Canada, </location> <date> April 2001 </date> <publisher> ACM Press. </publisher>
+<author> J. Heintz and C. P. Schnorr. </author> <title> Testing polynomials that are easy to compute. </title> <booktitle> In Proceedings of the lth Annual ACM Symposium on the Theory o f Computing, </booktitle> <pages> pages 262-272, </pages> <date> 1980. </date>
+<author> J. Magee and J. Kramer. </author> <title> Dynamic structure in software architectures. </title> <booktitle> In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of zofiware Engineering, </booktitle> <pages> pages 3-14. </pages> <publisher> ACM Press, </publisher> <date> 1996. </date>
+<author> J. R. Rossignac and H. B. Voelcker. </author> <title> Active zones in CSG for accelerating boundary evaluation, redundancy elimination, interference detection and shading algorithms. </title> <journal> ACM Transactions on Graphics, </journal> <volume> 8(1):</volume><pages>51-87, </pages> <date> January 1989. </date>
+<author> J. Reif and L. G. Valiant. </author> <title> "A Logarithmic Time Sort on Linear Size Networks," </title> <journal> Journal of the ACM </journal> <volume> 34 </volume> <date> (January 1987), </date> <pages> 60-76, </pages> <booktitle> Proceedings of the 15th Annual ACM Symposium on Theory of Computing, </booktitle> <location> Boston </location> <date> (April 1983), </date> <pages> 10-16. </pages>
+<author> J. V. Raghavan, J. E. Bracken and R. A. Rohrer. </author> <title> "AWESpice: A General Tool for the Accurate and Efficient Simulation of Interconnect Problems," </title> <booktitle> Proceedings of the 29th ACM/IEEE Design Automation Conference, </booktitle> <pages> pages 87-92, </pages> <date> June 1992. </date>
+<author> J. Whaley and M. Rinard. </author> <title> Compositional pointer and escape analysis for Java programs. </title> <booktitle> In Proceedings of the ACM Conference on Object-Oriented Programming Systems Languages Applications OOPSLA'99, </booktitle> <pages> pages 187-206, </pages> <date> Nov. 1999. </date>
+<author> J.D. Choi and S. L. Min. </author> <title> Race method frontier: reproducing races in parallel-program debugging. </title> <booktitle> Proceedings of Third ACM SIGPLAN Symposium on Principles Practice of Parallel Processing, </booktitle> <date> April 1991 </date>
+<author> J.M. Wing and M. Vaziri-Farahani. </author> <title> Model checking software systems: A case study. </title> <booktitle> In Proceedings of SIGSOFT'95 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, </booktitle> <pages> pages 128-139, </pages> <date> October 1995. </date>
+<author> JAESCHKE, G., AND SCHEK, H. </author> <title> Remarks on the algebra of non first normal form relations. </title> <booktitle> In Proceedings of the ACM SIGA CT-SIGMOD Symposium on Principles of Database Systems </booktitle> <location> (Los Angeles, </location> <date> March 1982). </date> <location> Awrvz, rew York, </location> <date> 1982, </date> <pages> pages 124-138. </pages>
+<author> JAYARAM, M., AND VARGHESE, G. </author> <date> 1997. </date> <title> The complexity of crash failures. </title> <booktitle> In Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing (Calif., </booktitle> <date> Aug. 21-24). </date> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 179-188. </pages>
+<author> James Archibald and Jean-Loup Baer. </author> <title> An economical solution to the cache coherence problem. </title> <booktitle> In The 11th Annual International Symposium on Computer Architecture, </booktitle> <pages> pages 355-362, </pages> <date> 1984. </date>
+<author> James Archibald and Jean-Loup Boer. </author> <title> Cache coherence protocols: Evaluation using a multiprocessor simulation model. </title> <journal> ACM Transactions on Computer Systems, </journal> <volume> 4(4):</volume><pages>274-298, </pages> <date> November 1986. </date>
+<author> James Laudon and Daniel Lenoski. </author> <title> An optimal sorting algorithm for mesh connected computers. </title> <booktitle> In Proceedings of the 18th Annual ACM Symposium on Theory of Computing, </booktitle> <pages> pages 255-263, </pages> <date> 1986. </date>
+<author> James Laudon, Daniel Lenoski. </author> <title> The SGI Origin 2000: A ccNUMA Highly Scalable Server. </title> <booktitle> In Proceedings of the 24th Annual International Symposium on Computer Architecture, </booktitle> <date> June 1997. </date>
+<author> James P. Callan, Zhihong Lu, and W. Bruce Croft. </author> <title> Searching Distributed Collections with Inference Networks. </title> <booktitle> In Proceedings of the 18th International Conference on Research Development in Information Retrieval, </booktitle> <pages> pages 21-29, </pages> <location> Seattle, WA, </location> <date> 1995. </date>
+<author> Jeffrey S. Poulin and Keith J. Werkman. </author> <title> "Melding Structured Abstracts and the World Wide Web for Retrieval of Reusable Components." </title> <booktitle> in conference proceedings of ACM SIGSOFT Symposium on Software Reusability SSR'95, </booktitle> <location> Seattle WA, </location> <date> 28-30 April 1995, </date> <pages> pages 160-168. </pages>
+<author> John B. Smith and F. Donelson Smith. </author> <title> "ABC:A Hypermedia System for Artifact-Based Collaboration," </title> <booktitle> Proceedings of the Third ACM Conference on Hyperiezt, </booktitle> <pages> pp 179-192, </pages> <date> 1991. </date>
+<author> John Heinlein. </author> <title> Integration of Message Passing and Shared Memory in the Stanford FLASH Multiprocessor. </title> <booktitle> In Proceedings of the 6th International Conference on Architectural Support for Programming Languages Operating Systems, </booktitle> <location> CA, </location> <date> October 2000 </date>
+<author> John Penix, Willem Visser, Eric Engstrom, Aaron Larson, and Nicholas Weininger. </author> <title> Verification of time partitioning in the deos scheduler kernel. </title> <booktitle> In Proceedings of the 22nd International Conference on Software Engineering. </booktitle> <publisher> ACM Press, </publisher> <date> June 2000. </date>
+<author> John, B. E. and Newell, A. </author> <date> (1989) </date> <title> Cumulating From S-R compatibility to transcription typing. </title> <booktitle> Proceedings CHI'89 Human Factors in Computing Systems, </booktitle> <pages> 109-114. </pages> <location> New York: </location> <publisher> ACM Press. </publisher>
+<author> Joon S. Park and Ravi Sandhu. </author> <title> RBAC on the web by smart certificates. </title> <booktitle> In Proceedings of 4th ACM Workshop on Role-Based Access Control, </booktitle> <pages> pages 1-9, </pages> <location> Fairfax, VA, </location> <date> October 1999. </date> <publisher> ACM. </publisher>
+<author> Jouvelot, P., and Gifford, D. K. </author> <title> Reasoning about Continuations with Control Effects. </title> <booktitle> In Proceedings of the ACM SIGPLAN Conference on Programming Language Design Implementation. </booktitle> <publisher> ACM, </publisher> <location> New York, </location> <date> 1989. </date>
+<author> K. Abrahamson. </author> <title> On achieving consensus using shared memory. </title> <booktitle> In Proceedings of the 7th Annual ACM Symposium on the Principles of Distributed Computing. </booktitle> <pages> pages 291-302. </pages> <date> 1988. </date>
+<author> K. Andrews, R. R. Henry and W. K. Yamamoto. </author> <title> "Design and Implementation of the UW Illustrated Compiler", </title> <booktitle> Proceedings of the ACM SIGPLAN 1988 Symposium on Programming Lanuage Design Implementation, </booktitle> <journal> ACM SiGPLAN Notices, </journal> <volume> 18, 6 </volume> <date> (June 1988), </date> <pages> pages 105-114. </pages>
+<author> K. Daniels and V. J. Milenkovic. </author> <title> Multiple Translational Containment: Approximate and Exact Algorithms. </title> <booktitle> In Proceedirgs of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, </booktitle> <date> 1995. </date>
+<author> K. E. Coates, D. L. Dvorak, and R. M. Watts. </author> <title> "An Overview of BLN: A Bell Laboratories Computing Network," </title> <booktitle> Proceedings of the Seventh Data Communications Symposium, </booktitle> <location> Mexico City, Mexico, </location> <date> October 1981, </date> <pages> pages 224-229. </pages>
+<author> K. Inoue, T. Ishihara, and K. Murakami. </author> <title> Way-predicting set-associative cache for high performance and low energy consumption. </title> <booktitle> In Proceedings of the International Symposium on Low Power Electronics Design ISLPED, </booktitle> <pages> pages 273-g75, </pages> <date> Aug. 1999. </date>
+<author> K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. </author> <title> The Notions of Consistency and Predicate Locks in a Database System. </title> <journal> Communication of ACM, </journal> <volume> 19(11):</volume><pages>624-633, </pages> <date> November 1976. </date>
+<author> K. Pettis and R. C. Hansen. </author> <title> Profile guided code positioning. </title> <booktitle> In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design Implementation, </booktitle> <pages> pages 16-27, </pages> <date> 1990. </date>
+<author> K.L. Clarkson. </author> <title> A Las Vegas algorithm for linear programming when the dimension is small. </title> <booktitle> In Proceedings 29th IEEE Syrup on Foundations of Computer Science, </booktitle> <pages> pages 452-456, </pages> <date> 1988 </date>
+<author> KARMARKAR, N., AND LAKSHMAN, Y. N. </author> <title> Approximate polynomial greatest common divisors and nearest singular polynomials. </title> <booktitle> In Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation ISSAC'96 </booktitle> <date> (1996), </date> <pages> pages 35-39. </pages>
+<author> KLEIJNEN, J. P. C. </author> <date> 1995. </date> <title> Sensitivity analysis and optimization in simulation: Design of experiments and case studies. </title> <booktitle> In Proceedings of the 1995 Winter Simulation Conference </booktitle> <location> (Arlington, VA, </location> <date> Dec 3-6), </date> <pages>133-140. </pages>
+<author> Kelley, J. F. </author> <title> An empirical methodology for writing user-friendly natural language computer applications. </title> <booktitle> In Proceedings of the CHI 83 Conference on Human Factors in Computing Systems </booktitle> <location> (Boston, Mass New York, </location> <date> Dec 12-15). </date> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 193-196. </pages>
+<author> Kenji Yamanishi. </author> <title> A learning criterion for stochastic rules. </title> <booktitle> In Proceedings of the Third Annual Workshop on Computational Learning Theory, </booktitle> <date> August 1990. </date> <journal> Machine Learning. </journal>
+<author> Kling, Rob, </author> <title> Value conflicts and social choice in electronic funds transfer systems developments, </title> <journal> Communications of the ACM, </journal> <volume> 21(no 8) </volume> <date> (August 1978): </date> <pages> pages 642-657. </pages>
+<author> Knowlton K. </author> <title> "A Report on the Use of FORTRAN-coded EXPLOR for the Teaching of Computer Graphics and Computer Art", </title> <booktitle> Proceedings of ACM SIGPLAN Symposium on 2-D Man-machine Communications, </booktitle> <location> Los Alamos, </location> <date> October 1972. </date>
+<author> Korhonen, A., and Malmi, L. </author> <title> Algorithm Simulation with Automatic Assessment. </title> <booktitle> Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation Technology in Computer Science Education, </booktitle> <pages> pages 160-163, </pages> <location> Helsinki, Finland, </location> <date> 2000. </date>
+<author> Kutzlcr B. and S. Sifter </author> <date> (1986) </date> <title> "Automate A Geometry Theorem Proving Using Buchberger's Algorithm", </title> <booktitle> in Proceedings of the 1986 Symposium on Symbolic Algebraic Computation, </booktitle> <pages> pp 209-214. </pages>
+<author> L. Augustsson. </author> <title> A Compiler for Lazy ML. </title> <booktitle> In Proceedings of the 198J ACM Symposium on Lisp Functional Programming, </booktitle> <pages> pages 218-227, </pages> <location> Austin Texas New York, </location> <date> 1984. </date> <publisher> ACM Press. </publisher>
+<author> L. Vicci, S. Brumback, K. Keller, G. Welch, G. Bishop and D. N. Colucci. </author> <title> The hiball tracker: High-performance widearea tracking for virtual and augmented environments. </title> <booktitle> In Proceedings of the ACM Symposium on Virtual Reality Software Technology, </booktitle> <pages> pages 1-11 </pages>
+<author> LAI,J. AND VERGO, J. </author> <date> 1997. </date> <title> MedSpeak: Report creation with continuous speech recognition. </title> <booktitle> In Proceedings of the ACM Conference on Human Factors in Computing Systems </booktitle> <location> (Atlanta, GA, </location> <date> Mar. 22-27), </date> <publisher> ACM Press, </publisher> <location> New York, NY, </location> <pages> pages 431-438. </pages>
+<author> LAMPORT, L. </author> <title> Sometime is sometimes not never On the temporal logic of programs. </title> <booktitle> In Conference Record of the 7th Annual ACM Symposium on Principles of Programming Languages, </booktitle> <location> LaB Vegas, Nev., </location> <date> Jan. 28-30, 1980, </date> <pages> pages 174-185. </pages>
+<author> LEHMAN, D., ANO RABIN, M. </author> <title> On the advantages of free choice: A symmetric and fully distributed solution of the dining philosophers problem. </title> <booktitle> In Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages </booktitle> <location> (Williamsburg, Va., </location> <date> jan 26-28 </date>
+<author> Larus, James R. and Eric Schnarr. </author> <date> 1995. </date> <title> EEL: machine-independent executable editing. </title> <booktitle> In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design Implementation. </booktitle>
+<author> Lewis, Clayton, D. Charles Hair, and Victor Schoenberg </author> <date> (1989). </date> <title> Generalization Consistency Control. </title> <booktitle> In Proceedings of ACM CHI'89 Conference on Human Factors in Computing Systems. </booktitle> <pages> pages 1-5. </pages>
+<author> Ludwigs, H. </author> <title> SIMIS II -An Environment For Material Flow Systems Simulation. </title> <booktitle> Proceedings of the 16th annual SIMULATION symposium, </booktitle> <location> Tampa, Florida, </location> <date> 1983, </date> <pages> pages 69-78 </pages>
+<author> M. Bender, S. Chakrabarti, and S. Muthukrishnan. </author> <title> Flow and stretch metrics for scheduling continuous job streams. </title> <booktitle> In Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, </booktitle> <pages> pages 270-279, </pages> <location> San Francisco, California, </location> <pages> 25-27, </pages> <date> January 1998. </date>
+<author> M. Das. </author> <title> Unification-based pointer analysis with directional assignments. </title> <booktitle> In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design Implementation, </booktitle> <date> 2000 </date>
+<author> M. Dennis Mickunas and Richard M. ScheU. </author> <title> Parallel Compilation in a Multiprocessor Environment. </title> <booktitle> ACM: Proceedings of the Annual Conference, </booktitle> <date> 1978, </date> <pages> pp 241-246. </pages>
+<author> M. E. Maron and K. L. Kuhns. </author> <title> "On relevance, probabilistic indexing and information retrieval." </title> <journal> Journal of the Associations of Computing Machinery ACM, </journal> <volume> 7, </volume> <pages> pages 216-244 </pages> <date> (1960). </date>
+<author> M. Rosenblum and J. K. Ousterhout. </author> <title> The design and implementation of a log-structured file system. </title> <booktitle> In Proceedings of the Thirteenth ACM Symposium on Operating System Principles, </booktitle> <date> 1991. </date>
+<author> M. Wand and D. P. Fredman. </author> <title> The mystery of the tower revealed: a non-reflective description of the reflective tower. </title> <booktitle> In Proceedings Symposium on Lisp and Functional Programming, </booktitle> <pages> pages 298-307, </pages> <publisher> ACM, </publisher> <date> August 1986. </date>
+<author> M. Weiser, </author> <title> Some computer science issues in ubiquitous computing, </title> <journal> Communications of the ACM. </journal> <volume> 18, (no 7) </volume> <date> (July 1993) </date> <pages> 74-84. </pages>
+<author> M. Wray and V. Belrose. </author> <title> "Avatars in Living Space", </title> <booktitle> Proceedings of the Fourth Symposium on the Virtual Reality Modeling Language, </booktitle> <pages> pages 13-19, </pages> <publisher> ACM, </publisher> <date> 1999. </date>
+<author> M.C. Johnson and K. Roy. </author> <title> Datapath scheduling with multiple supply voltages and level converters. </title> <journal> ACM Transactions on Design Automation of Electronic Systems, </journal> <volume> 18 (no 3), </volume> <date> 1997. </date>
+<author> MAKOTO MATSUMOTO, </author> <date> (1998) </date> <title> Mersenne Twister. A 623-dimensionally equidistribuited uniform pseudo-random number generator. </title> <journal> ACM Transactions on Modeling and Computer Simulation Special Issue on Uniform Random Number Generation. </journal>
+<author> MINSKY, N. a., AND ROZENSHTEIN, D. </author> <date> 1987. </date> <title> A law-based approach to object-oriented programming. </title> <booktitle> In Proceedings of the Conference on Object-Oriented Programming Systems Languages Apphcatzons. </booktitle> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 482-493. </pages>
+<author> MOGUL, J. C. </author> <date> 1990. </date> <title> Efficient use of workstations for passive monitoring of local area networks. </title> <booktitle> In Proceedings of the SIGCOMM 90 Symposium on Communications Architectures Protocols. </booktitle><publisher> ACM, </publisher> <location> New York, </location> <pages> 253-263. </pages>
+<author> Malone, T. and Crowston, K. </author> <title> What is coordination theory and how can it help design cooperative work systems? </title> <booktitle> In Proceedings of the Conference on Compute-Supported Cooperative Work. </booktitle> <publisher> Association for Computing Machinery ACM, </publisher> <location> New York, (Los Angeles, </location> <date> Oct. </date>
+<author> Marc Gyssens, Laks V. S. Lakshmanan, and Iyer N. Subramanian. </author> <title> Tables as a paradigm for querying and restructuring. </title> <booktitle> In Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, </booktitle> <date> June 3-5, 1996, </date> <location> Montreal, Canada, </location> <pages> pages 34-54 </pages>
+<author> Mark Finch, Mike Falvo, Vernon L. Chi, Sean Washburn, Russell M. Taylor II, and Richard Superfine. </author> <title> Surface Modification Tools in a Virtual Environment Interface to a Scanning Probe Microscope. </title> <booktitle> In Conference Symposium on Interactive 3D Graphics, </booktitle> <pages> pages 13-18, </pages> <date> Apr 1995 </date>
+<author> Mark Holland and Garth A. Gibson. </author> <title> Parity Ieclustering for Continuous Operation in Redundant Disk Arrays. </title> <booktitle> In Proceedings of 5th Int Conf on Architectural Support for Programming Languages Operating Systems, </booktitle> <pages> pages 23-34, </pages> <date> Oct 1992. </date>
+<author> Masticola, S. P. and Ryder, B. G. </author> <title> "A Model of Ada Programs for Static Deadlock Detection in Polynomial Time". </title> <booktitle> Proceedings oJ the ACM/ONR Workshop on Parallel Distributed Debugging, </booktitle> <journal> ACM SIGPLAN Notices, </journal> <volume> 26(12):</volume><pages>97-107, </pages> <date> December 1991. </date>
+<author> Mayer, R. E. </author> <date> (1979). </date> <title> A psychology of learning BASIC computer programming. </title> <journal> Journal of Communications of the ACM, </journal> <volume> 2, </volume> <pages> 589-593 </pages>
+<author> Metcalfe, Robert M. and David R. Boggs. </author> <title> Ethernet: Distributed Packet Switching for Local Computer Networks. </title> <journal> Communications of the ACM, </journal> <volume> 19 </volume> <date> (1976): </date> <pages> 395-404. </pages>
+<author> Michael J. Carey, David J. DeWitt, and Jeffrey F. Naughton. </author> <title> The 007 benchmark. </title> <booktitle> In Proceedings of the 1993 ACM-SIGMOD Conference on the Management of Data, </booktitle> <location> Washington York DC, </location> <date> May 1993. </date>
+<author> Michael Luby and Erie Vigoda. </author> <title> Approximately counting up to four. </title> <booktitle> In Proceedings of the Twenty-Ninth Annual ACM Symposium on Theot3 of Computing, </booktitle> <pages> pages 682-687, </pages> <date> 1997. </date>
+<author> Mihai Barbuceanu, Tom Gray, and Serge Mankovski. </author> <title> Coordinating with obligations. </title> <booktitle> In Proceedings of the Second International Conference on Autonmruus Agents Agents98, </booktitle> <pages> pages 62-69, </pages> <date> 1998. </date>
+<author> Ming-Deh Huang and Ashwin Rao, </author> <title> Interpolation of sparse multivariate polynomials over finite fields with applications, </title> <booktitle> Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, </booktitle> <date> January 1996, </date> <pages> pages 508-517. </pages>
+<author> Muneo Takahashi and Yuji Kamayachi (Nippon Telephone and Telegraph). </author> <title> "An Empirical Study of a Model for Program Error Prediction," </title> <booktitle> Proceedings of the Eighth International Conference on Software Engineering, </booktitle> <date> August 28-30, 1985. </date>
+<author> N. Adams and J. frees. </author> <title> Object-oriented programming in Scheme. </title> <booktitle> In Proceedings of the ACM Conference on Lisp Functional Programming, </booktitle> <pages> pages 277-288, </pages> <date> 1988. </date>
+<author> N. Manjikian and Wayne M. Loueks. </author> <title> High performance parallel logic simulation on a network of workstations. </title> <booktitle> In Proceedings of the 7th Workshop on Parallel Distributed Simulation, </booktitle> <pages> pages 76-84, </pages> <location> San Diego, CA, </location> <date> May 1993. </date>
+<author> N. Matelan. </author> <title> The Flex/32 multicomputer. </title> <booktitle> In Proceedings of the 12th International Symposium on Computer Architecture, </booktitle> <pages> pages 209-213, </pages> <publisher> Computer Society Press, </publisher> <date> June 1985. </date>
+<author> Nicol, D. M. and E Heidelberger </author> <date> (1995). </date> <title> A comparative study of parallel algorithms for simulating continuous time markov chains. </title> <journal> ACM Transactions on Modeling Computer Simulation. </journal> <volume> 18, </volume> <pages> 326-354 </pages>
+<author> Nimar S. Arora, Robert D. Blumofe, and C. Greg Plaxton. </author> <title> Thread scheduling for multiprogrammed multiprocessors. </title> <booktitle> In Proceedings of the 10nth Annual ACM Symposium on Parallel Algorithms Architectures SPAA, </booktitle> <location> Puerto Vallarta, Mexico, </location> <date> June 1998 </date>
+<author> Nimrod Megiddo. </author> <title> Linear programming in linear time when the dimension is fixed. </title> <journal> Journal of the ACM, </journal> <volume> 31(1):</volume><pages>114-127, </pages> <date> 1984. </date>
+<author> Nygren, E., Lind M., Johnson, M. and Sandblad, B. </author> <title> The an of the obvious' automatically processes components of the task of reading frequently used documents. </title> <booktitle> In Conference Proceedings for CH1'92, ACM Conference on Human Factors in Computing Systems, </booktitle> <date> 1992. </date>
+<author> Ogozalek, V. Z. </author> <title> A comparison of Male and Female Computer Science Students' Attitudes Toward Computers. </title> <journal> ACM SIGCSE Bulletin, </journal> <volume> 21, no 2 </volume> <date> (june 1989), </date> <pages> 8-14 </pages>
+<author> Osterbye, K. </author> <title> Structural and cognitive problems in providing version control for hypertext. </title> <booktitle> In Proceedings of the ACM Conference on Hypertext </booktitle> <location> (Milan, Italy, </location> <date> Nov), </date> <publisher> ACM, </publisher> <location> New York, </location> <date> 1992, </date> <pages> pages 3 </pages>
+<author> P. A. G. Sivilotti. </author> <title> Specifying and testing the progress properties of distributed components. </title> <date> May 1999. </date> <booktitle> 21st International Conference on Software Engineering ICSE. </booktitle>
+<author> P. Cousot and R. Cousot. </author> <title> "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints." </title> <booktitle> 4th ACM Symposium on Principles of Programming Languages </booktitle> <date> (1977), </date> <pages> pages 238-252. </pages>
+<author> P. Cousot and R. Cousot.A </author> <title> unified lattice model for the static analysis of programs by construction or approximation of fixpoints. </title> <booktitle> In Proceedhags of the Fourth Annual Symposium on Principles of Programming Languages. </booktitle> <publisher> ACM Press, </publisher> <date> 199 </date>
+<author> P. K. McKinley, A. M. Malenfant, and J. M. Arango. </author> <title> "Pavilion: A distributed middleware framework for collaborative web-based applications," </title> <booktitle> in Proceedings of the ACM SIG-GROUP Conference on Supporting Group Work, </booktitle> <pages> pages 179-188, </pages> <date> November 1999. </date>
+<author> Paul, R. J. </author> <date> 1992. </date> <title> The computer aided simulation modeling environment: An overview. </title> <booktitle> In Proceedings of the 1992 Winter Simulation Conference, </booktitle> <location> San Diego. </location>
+<author> Pavel Curtis and James Rauen. </author> <title> A module system for Scheme. </title> <date> 1990. </date> <booktitle> ACM Conference on Lisp Functional Programming, </booktitle> <pages> pages 13-19. </pages>
+<author> Phillip B. Gibbons and Ephraim Korach. </author> <title> On testing cache-coherent shared memories. </title> <booktitle> In Proceedings of the 6th Annual Symposium on Parallel Algorithms Architectures, </booktitle> <pages> pages 177-188, </pages> <location> New York, NY, USA, </location> <date> June 1994. </date> <publisher> ACM Press. </publisher>
+<author> Phillip B. Gibbons and Steven S. Muchnick. </author> <title> Efficient instruction scheduling for a pipelined architecture. </title> <booktitle> Proceedings of the SIG-PLAN 1986 Symposium on Compiler Construction, </booktitle> <journal> ACM SIGPLAN Notices, </journal> <volume> volume 21, no 7, </volume> <date> July 1986. </date>
+<author> Pirolli, P. </author> <title> Computational models of information scentfollowing in a very large browsable text collection. </title> <booktitle> in Conference on Human Factors in Computing Systems, </booktitle> <date> 1997 </date>
+<author> Pliimer, L., GrSger, G., </author> <title> Nested Maps -a Formal Provably Correct Object Model for Spatial Aggregates, </title> <booktitle> Proceedings of the 4th ACM Workshop on Advances in GIS, </booktitle> <pages> pages 77 -84, </pages> <location> Roekville, Maryland, </location> <date> Nov 15-16, 1996, </date> <publisher> ACM Press. </publisher>
+<author> Preist, C. and van Tol, M. </author> <title> Adaptive Agents in a Persistent Shout Double Auction. </title> <booktitle> Proceedings of the 1 st International Conference on the Intemet Computing Economics, </booktitle> <publisher> ACM Press, </publisher> <date> 1998. </date>
+<author> R. Farrow and A. Stanculescu. </author> <title> A VHDL compiler based on attribute grammars. </title> <booktitle> In Proceedings of the SIGPLAN '89 Conference on Programming Language Design Implementation, </booktitle> <pages> pages 120-130, </pages> <date> 1989 </date>
+<author> R. Guindon. </author> <title> How to interface to advisory systems7 Users request help with a very simple language. </title> <booktitle> In Proceedings of the ACM SIGCHI Conference Human Factors in Computer Systems, </booktitle> <date> 1988. </date>
+<author> R. Hagmann. </author> <title> Reimplementing the cedar file system using logging and group commit. </title> <booktitle> Proceedings of the llth ACM Symposium on Operating Systems Principles, </booktitle> <volume> 21(5):</volume><pages>155-162, </pages> <date> November 1987. </date>
+<author> R. Jain and Y.B. Lin. </author> <title> "An Auxiliary User Location Strategy Employing Forwarding Pointers to Reduce Network Impact of PCS," </title> <journal> ACM Balker Journal of Wireless Nattuork, </journal> <date> July 1995. </date>
+<author> R. Kadia. </author> <title> Issues encountered in building a flexible software development environment: Lessons learned from the Arcadia project. </title> <booktitle> In Proceedings of ACM SIGSOFT '92: Conference Fifth Symposium on Software Development Environments, </booktitle> <date> December 1999 </date>
+<author> R. L. Rivest, A. Shamir, and Adleman L. </author> <title> A method for obtaining digital signatures and bublic key cryptosystems. </title> <journal> Communications of the ACM, </journal> <volume> 21(2):</volume><pages>120-126, </pages> <date> 1978. </date>
+<author> R. P. LaRowe Jr., J. T. Wilkes, and C. S. Ellis. </author> <title> Exploiting operating system support for dynamic page placement on a NUMA shared memory multiprocessor. </title> <booktitle> In Proceedings of he Symposium on the Principles Practice of Parallel Programming, </booktitle> <pages> pages 122-132 </pages>
+<author> R. P. Selke. </author> <title> A rewriting semantics for program dependence graphs. </title> <booktitle> In Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, </booktitle> <pages> pages i2-24. </pages> <publisher> ACM Press, </publisher> <date> Jan. 1989. </date>
+<author> R. Stansifer and D. Wetklow. </author> <title> Method reuse in typed object-oriented languages. </title> <booktitle> In Proceedings of the ACM/SIGAPP Symposium on Applied Computing, </booktitle> <pages> pages 63-70, </pages> <date> 1993. </date>
+<author> R. W. Schwanke, R. Z. Altucher, and M. A. PIandoff. </author> <booktitle> Di5 covering, Visualizing, and Controlling Software Structure. In Proceedings of the Fifth International Workshop on Software Specification Design, </booktitle> <pages> pages 147-150, </pages> <location> Pittsburgh, Pennsylvania, </location> <date> May 1989. </date>
+<author> R. Yuan, S.K. Biswas, L.J. French, J. Li and D. Raychaudhuri. </author> <title> A signaling and control architecture for mobility support </title> <booktitle> in wireless ATM networks Mobile Networks and Applications. </booktitle> <volume> 7(3), </volume> <booktitle> Special Issue on Wireless ATM </booktitle> <date> (December 1996) </date> <pages> pages 287-298 </pages>
+<author> ROMPEL, J. </author> <title> One-way functions are necessary and sufficient for secure signatures. </title> <booktitle> In Proceedings of the 22nd Annual ACM Symposium on the Theoo' of Computing.  </booktitle> <publisher> ACM </publisher> <location> New York, </location> <date> 1990, </date> <pages> pages 387-394. </pages>
+<author> Rajagopalan Desikan, Doug Burger, and Stephen W. Keckler. </author> <title> Measuring experimental error in microprocessor simulation. </title> <booktitle> In Proceedings of the 28th Annual International Symposium on Computer Architecture, </booktitle> <pages> pages 266-277, </pages> <date> July 2001. </date>
+<author> Randy Allen and Ken Kennedy. </author> <title> "Automatic Translation of FORTRAN Programs to Vector Form," </title> <journal> ACM Transactions of Programming Languages Systems, </journal> <volume> volume 9, No 4, </volume> <pages> pages 491-542, </pages> <date> October 1987. </date>
+<author> Rimey, K. and P.N. Hilfinger </author> <title> " A method for obtaining digital signatures and bublic key cryptosystems.", </title> <booktitle> Proceding of the 21st Annual Workshop on Microprogramming and Microarchitecture, </booktitle> <pages> pages ill-115, </pages> <date> 1988 </date>
+<author> Robert M. Metcalfe and David R. Boggs. </author> <title> Ethemet: Distributed Packet Switching for Local Computer Networks. </title> <journal> Communications of the ACM, </journal> <volume> 19(7):</volume><pages>395-404, </pages> <date> July, 1976. </date>
+<author> Roberts, E. </author> <title> Strategies for Encouraging Individual Achievement in Introductory Computer Science Courses. </title> <booktitle> In Proceedings of the Thirty-first Annual SIGCSE Technical Symposium on Computer Science Education </booktitle> <date> (Mar. 2000), </date> <pages> pages 285-299. </pages>
+<author> Rose C., </author> <title> Minimizing the Average Cost of Paging and Registration: A Timer-Based Method. </title> <journal> ACM journal of Wireless Networks, </journal> <volume> volume 2, No 2, </volume> <pages> pages 109-116, </pages> <date> 1996. </date>
+<author> Ross, J. and Ruhleder, K. </author> <title> Preparing IS Professionals for a Rapidly Changing World: The Challenge for IS Edacators, </title> <booktitle> Proceedings of the 1993 Conference on Computer Personnel Research, </booktitle> <date> (1993), </date> <pages> 379-384 </pages>
+<author> S. Konstantinidou and L. Snyder. </author> <title> Chaos Router: architecture and performance. </title> <booktitle> In Proceedings of the 18th International Symposium on Computer Architecture, </booktitle> <pages> pages 212-221, </pages> <date> May 1991. </date>
+<author> S. P. Fekete. </author> <title> Simplicity and hardness of the Maximum Traveling Salesman Problem under geometric distances. </title> <booktitle> in Proceedings of the ACM/SIAM Symposium on Discrete Algorithms, </booktitle> <date> 1999 </date>
+<author> S. T. Pan, K. So, and J. T. Rahmeh. </author> <title> "improving the accuracy of dynamic branch prediction using branch correlation," </title> <booktitle> in Proceedings of the Fifth International Conference on Architectural Support for Programming Languages Operating Systems, </booktitle> <pages> pages 76-84, </pages> <date> 1993 </date>
+<author> S.L. Peyton Jones and Jon Salldld. </author> <title> The Model Spineless Tagless G-machine, </title> <booktitle> In Proceedings of the 1989 Conference on Functional Programming Languages and Computer Architecture, </booktitle> <date> 1989. </date>
+<author> S.L. Peyton Jones and Jon Salldld. </author> <title> The Spineless Tagless G-machine, </title> <booktitle> In Proceedings of the 1989 Conference on Functional Programming Languages Computer Architecture, </booktitle> <date> 1989. </date>
+<author> SREEDHAR, V. C., AND GAO, G. R. </author> <title> A linear time algorithm for placing 0b-nodes. </title> <booktitle> In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages </booktitle> <date> (January 1995) </date>
+<author> SVOBODOVA, L. </author> <title> A reliable object-oriented data repository for a distributed computer system. </title> <booktitle> In Proceedings of the 8th ACM Symposium on Operating Systems Principles </booktitle> <location> (Pacific Grove, Calif., </location> <date> Dec. 1981). </date> <publisher> ACM, </publisher> <location> New York, </location> <date> 1981, </date> <pages> pages 47-58. </pages>
+<author> Salton, G. and Smith, M. </author> <title> on the application of syntactic methodologies in automatic text analysis. </title> <booktitle> In SIGIR'89 Proceedings of the 12th Annual international ACMSIGIR Conference on RandD in Information Retreival </booktitle>
+<author> Saltzer, J. H. and Schroeder, M. D. </author> <title> The protection of and control of information sharing in computer systems. </title> <journal> In Proceedings of the IEEE </journal> <volume> 63, 9 </volume> <date> (September 1975). </date>
+<author> Schneider, G.M. </author> <title> A quantitative evaluation of graduate programs in computer science in the United States Canada. </title> <journal> ACM SIGCSE Bulletin, </journal> <volume> 21(4) </volume> <date> (1989), </date> <pages> pages 20-24. </pages>
+<author> Steffen Lange and Thomas Zeugmann </author> <date> (1993): </date> <title> Language learning in dependence on the space of hypotheses. </title> <booktitle> Proceedings of the Sixth Conference on Computational Learning Theory COLT, </booktitle> <pages> 127-136. </pages>
+<author> Steve Pieper, Joseph Rosen, and David Zeltzer. </author> <title> Interactive computer graphics for plastic surgery: A task-level analysis and implementation. </title> <booktitle> Proceedings of the ACM 199 Symposium on Interactive SD Graphics, </booktitle> <pages> pages 127-134, </pages> <date> 1992. </date>
+<author> Steven M. Drucker, Tinsley A. Galyean, and David Zeltzer. </author> <title> CINEMA: A system for procedural camera movements. </title> <volume> volume 25, </volume> <pages> pages 67-70, </pages> <date> March 1992. </date>
+<author> Stone Don C., Seth Bergmann, Ganesh Baliga, A. Michael Berman, and John Schmalzel. </author> <title> A CS1 Maze Lab using Joysticks and MIPPETs. </title> <booktitle> Proceedings of the Thirtieth SIGCSE Technical Symposium of Computer Science Education, </booktitle> <date> 1999, </date> <pages> pages 170-173. </pages>
+<author> T. Bench-Capon and G. Staniford. </author> <title> PLAID -proactive legal assistance. </title> <booktitle> In Proceedings of the Fifth International Conference on Artificial Intelligence Law, </booktitle> <pages> pages 81-88, </pages> <date> 1995. </date>
+<author> T. J. Ostrand and M. J. Balcer. </author> <title> The categorypartition method for specifying and generating functional tests. </title> <journal> Communications of the ACM, </journal> <volume> 31(6):</volume><pages>676-686, </pages> <date> June 1988. </date>
+<author> T. Jebelean. </author> <title> A Generalization of the Binary GCD Algorithm, </title> <booktitle> in Proceedings of the International Symposium on Symbolic Algebraic Computation ISSAC 93, </booktitle> <date> 1993, </date> <pages> pages 111-116. </pages>
+<author> T. Saaao. </author> <title> An application of multiple-valued logic to a design of programmable logic arrays. </title> <booktitle> In Proceedings of the 8th International Symposium on Multiple-Valued Logic, </booktitle> <date> 1978. </date>
+<author> TICHY, W. </author> <title> Design implementation, and evaluation of a revision control system. </title> <booktitle> In Proceedings of the 6th IEEE International Conference on Software Engineering </booktitle>  <date> (Sept.). </date> <publisher> IEEE, </publisher> <location> New York, </location> <date> 1982. </date>
+<author> TURNER, D. A. </author> <date> 1981. </date> <title> The semantic elegance of applicative languages. </title> <booktitle> In Proceedings of the 1981 Conference on Functional Programming Languages Computer Architecture. </booktitle> <publisher> ACM, </publisher> <pages> pages 85-92. </pages>
+<author> Takakuwa, S. </author> <date> 1994. </date> <title> Precise modeling and analysis of large-scale AS/RS. </title> <booktitle> In Proceedings of the 1994 Winter Simulation Conference, </booktitle> <location> Piscataway, New Jersey. </location>
+<author> Thomas H. Cormen and David M. Nicol. </author> <title> Out-of-core FFTs with parallel disks. </title> <journal> ACM SIGMETRICS Performance Evaluation Review, </journal> <volume> 25(3):</volume><pages>3-12, </pages> <date> December 1997. </date>
+<author> Toby Bloom and Stanley B. Zdonik. </author> <title> Issues in the design of objectoriented database programming languages. </title> <booktitle> In Conference Proceedings of the Workshop on Persistent Object Systems Their Design Implementation Use, </booktitle> <location> Appin York Scotland, </location> <pages> pages 89-112, </pages> <date> August 1987. </date>
+<author> Tyson R. Henry and Scott E. Hudson. </author> <title> Using Active Data in a UIMS. </title> <booktitle> Proceedings of the ACM SIGGRAPH Symposium on User Interface Software, </booktitle> <location> Banff, Alberta, Canada, </location> <date> Oct., 1988, </date> <pages> pages 167-178. </pages>
+<author> U. Manber. </author> <title> A text compression scheme that allows fast searching directly in the compressed file. </title> <journal> ACM Transactions on Information Systems, </journal> <volume> 15(2):</volume><pages>124-136, </pages> <date> 1997. </date>
+<author> U. Vazirani. </author> <title> Efficiency considerations in using semi-random sources. </title> <booktitle> In Proceedings of the 19 th Annual ACM Symposium on Theory of Computing, </booktitle> <location> New York City, </location> <date> 1987. </date>
+<author> U.V. Vazirani, </author> <title> Towards a strong communication complexity theory or generating quasirandom sequences from two communicating; slightly-random sources, </title> <booktitle> Proceedings of the 17th Annual ACM Symposium on Theory of Computing, </booktitle> <date> 1985, </date> <pages> 366-378. </pages>
+<author> V. Christophides and A. Rizk. </author> <title> "Querying Structured Documents with Hypertext Links using OODBMS," </title> <booktitle> Proceedings of the European Conference on Hypermedia Technology ECHT '94, </booktitle> <pages> pages 186-197, </pages> <location> Edinburgh New York UK, </location> <date> September 1994. </date>
+<author> Vijay Karamcheti and Andrew Chien. </author> <title> Software Overhead in Messaging Layers: Where Does the Time Go?. </title> <booktitle> Proceedings of the 6th International Conference on Architectural Support for Programming Languages Operating Systems, </booktitle> <pages> pages 51-60, </pages> <date> October 1994. </date>
+<author> W. A. Martin and R. J. Fateman, </author> <title> The MACSYMA System, </title> <booktitle> Proceedings of Second Symposium on Symbolic Algebraic Manipulation </booktitle> <date> (March 1971). </date>
+<author> W. Cunto and J. Ian Munro. </author> <title> Average case selection. </title> <booktitle> Proceedings of the Sixteenth Annual ACM Symposzum on Theory of Computing, </booktitle> <pages> pages 369-375, </pages> <date> 1984. </date>
+<author> W. Landi and B. G. Ryder. </author> <title> A safe approximate algorithm for interprocedural pointer aliasing. </title> <booktitle> In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design Implementation, </booktitle> <volume> volume 27, </volume> <pages> pages 235-248, </pages> <location> San Francisco, CA, </location> <date> June 1992. </date>
+<author> WARREN, J. </author> <title> A hierarchical basis for reordering transformations. </title> <booktitle> In Conference Record of the 11th Annual ACM Symposium on Principles of Programming Languages </booktitle> <location> (Salt Lake City, UT, </location> <date> Jan. 1984), </date> <publisher> ACM, </publisher> <location> New York, </location> <pages> pages 272-282. </pages>
+<author> WOLPER, P. </author> <title> Specifying interesting properties of programs in propositional temporal logic. </title> <booktitle> In Proceedings of the 13th ACM Symposium on Principles of Programming Languages </booktitle> <location> (Petersburg Beach, Fla., </location> <date> Jan. 1986). </date> <publisher> ACM, </publisher> <location> New York, </location> <date> 1986, </date> <pages> pages 184-193. </pages>
+<author> Walker, H. </author> <title> The Crisis in Academic Hiring in Computer Science, </title> <booktitle> Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, </booktitle> <date> 1999. </date>
+<author> Wan, W., Perkowski, M.: </author> <title> A New Approach to the Decomposition of Incompletely Specified Multi-Output Functions Based on Graph Coloring and Local Transformations and Its Application to FPGA Mapping, </title> <booktitle> European Design Automation Conference, </booktitle> <pages> pages 23 </pages>
+<author> Ware C. and Osborne, S. </author> <title> "Exploration and virtual camera control in virtual three dimensional environments," </title> <booktitle> Proceedings of the 1990 Symposium on Interactive 3D Graphics </booktitle> <location> (Snowbird, Utah ). </location> <journal> In ACM Computer Graphics, </journal> <volume> 24(2) </volume> <date> March 1990, </date> <pages> pages 175-183. </pages>
+<author> Williams, L. G. </author> <title> "Software Process Modeling: A Behavioral Approach", </title> <booktitle> in Proceedings of the 10th International Conference on Sofnvare Engineering, </booktitle> <pages> pages 174-186, </pages> <publisher> IEEE, </publisher> <date> 1988. </date>
+<author> Wolf-Dietrich Weber and Anoop Gupta. </author> <title> Analysis of Cache Invalidation Patterns in Multiprocessors. </title> <booktitle> In Proceedings of the Third International Conference on Architectural Support for Programming Languages Operating Systems ASPLOS III, </booktitle> <pages> pages 243-256, </pages> <date> apr </date>
+<author> Xiaogang Qiu and Michel Dubois. </author> <title> "Options for Dynamic Address Translation for COMAs", </title> <booktitle> In Proceedings of the 25th Annual International Symposium on Computer Architecture ISCA, </booktitle> <pages> pages 214-225. </pages> <date> 1998. </date>
+<author> Y. Ogawa and T. Matsuda. </author> <title> Overlapping statistical word indexing: A new indexing method for Japanese text. </title> <booktitle> In Proceedings of the 20th Annual International ACM SIGIR Conference on Research Development in Information Retrieval, </booktitle> <pages> pages 226-234, </pages> <location> Philadelphia </location>
+<author> YAO A.C. </author> <title> On the parallel computation for the knapsack problem. </title> <booktitle> In Proceedings of the 13th Annual Symposium on Theory of Computing </booktitle> <location> (Milwaukee, Wls.). </location> <publisher> ACM, </publisher> <location> New York, </location> <date> 1980, </date> <pages> pages 123-127. </pages>
+<author> YIANNILOS, P. </author> <date> 1993. </date> <title> Data structures algorithms for nearest neighbor search in general metric spaces. </title> <booktitle> In Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, </booktitle> <publisher> ACM Press, </publisher> <location> New York, NY, </location> <pages> 311-321. </pages>
+<author> Zarka Cvetanovic and Dileep Bhandarkar. </author> <title> Characterization of the Alpha AXP Performance Using TP and SPEC Workloads. </title> <booktitle> In Proceedings of the 21st Annual International Symposium on Computer Architecture, </booktitle> <pages> pages 60-70, </pages> <date> April 1994. </date>
+<author> rudin, J. </author> <title> Why CSCW Applications Fail: Problems in x the Design and Evaluation of Organisational Interfaces. </title> <booktitle> In Proceedings of the Conference on Computer-Supported Cooperative Work </booktitle> <date> (September 26-28, </date> <location> Portland, OR), NY, </location> <date> 1988, </date> <pages> 85-93. </pages>
+<author> Abbey, A. & Andrews, F. M. </author> <title> Modeling the psychological determinants of life quality. </title> <journal> Social Indicators Research, </journal> <volume> 16, 1, </volume> <date> 1985. </date>
+<author> Sporring, J. and Weickert, J. </author> <date> (1999). </date> <title> Information measures in scale-space. </title> <journal> IEEE PAMI, </journal> <volume> 45: </volume> <pages> 1051–1058. </pages>
+<author> Eichengreen Barry and Ruhl </author> <date> (2000) </date> <title> “The Bail-In Problem: Systematic Goals, Ad Hoc Means,” </title> <tech> NBER Working Paper No. W7653, </tech> <date> April. </date>
+<author> Benartzi, S., and R.H. Thaler. </author> <date> 2002. </date> <title> How Much Is Investor Autonomy Worth? </title> <journal> Journal of Finance </journal> <volume> 4: </volume> <pages> 1593–1616. </pages>
+<author> Kamber, M. and R. Shinghal, R. </author> <date> (1996). </date> <title> Evaluating the Interestingness of Characteristic rules. </title> <booktitle> Proceedings of the Second International Conference on Data Mining and Knowledge Discovery, </booktitle> <publisher> AAAI Press, </publisher> <pages> pp 263-266. </pages>
+<author> Frank, O., and D. Strauss. </author> <date> (1986). </date> <title> Markov graphs. </title> <journal> Journal of the American Statistical Association, </journal> <volume> 81, </volume> <pages> 832 - 842. </pages>
+<author> W. Warwick, S. McIlwaine, R. Hutton, and P. McDermott. </author> <title> Developing computational models of recognition-primed decision making. </title> <booktitle> In Proc. of the tenth conference on Computer Generated Forces, </booktitle> <date> 2001. </date>
+<author> Rabiner,L.R., </author> <title> A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition, </title> <booktitle> Proc. of the IEEE </booktitle> <volume> 77, No. 2, </volume> <pages> pp257-286, </pages> <date>  1989. </date>
+<author> D. Benech, T. Desprats. </author> <title> A KQML-CORBA based Architecture for Intelligent Agents Communication in Cooperative Service and Network Management. </title> <booktitle> In Proceedings of IFIP/IEEE International Conference on Management of Multimedia Networks and Services ’97 </booktitle> <date> July 8-10, 1997. </date>
+<author> M. Seltzer, G. Ganger, M. K. McKusick, K. Smith, C. Soules, and C. Stein, </author> <title> “Journaling versus Soft Updates: Asynchronous Meta-data Protection in File Systems,” </title> <booktitle> in USENIX Annual Technical Conference, </booktitle> <date> June 2000, </date> <pages> pp. 18–23. </pages> <note> [Online]. Available: http://citeseer.nj.nec.com/seltzer00journaling.html </note>
+<author> I. Horrocks. </author> <title> Using an expressive description logic: FaCT or fiction? </title> <editor> In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, </editor> <booktitle> KR'98: Principles of Knowledge Representation and Reasoning, </booktitle> <pages> pages 636-645. </pages> <publisher> Morgan Kaufmann, </publisher> <location> San Francisco, California, </location> <date> 1998. </date>
+<author> Kaus M.R., Warfield S.K., Jolesz F.A., Kikinis R.: </author> <title> Segmentation of Meningiomas and Low Grade Gliomas in MRI.: </title> <booktitle>  Proc Int Conf Med Im Comp Comp-Ass Interv </booktitle> <date> (1999) </date> <pages> 1-10. </pages>
+<author> L. Guibas, D. Salesin, and J. Stolfi. </author> <title> Epsilon geometry: Building robust algorithms from imprecise computations. </title> <booktitle> In Proc. of the 5th ACM Symp. on Computational Geometry, </booktitle> <pages> pages 208--217, </pages> <date> 1989. </date>
+<author> Batygin, V. V.; Toptygin, I. N. </author> <title> Problems in Electrodynamics; </title> <publisher> Academic Press: </publisher> <location> London, </location> <date> 1964. </date>
+<author> Guckenheimer J., Holmes P., </author> <date> 1985, </date> <title>  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields., </title> <publisher> Springer-Verlag, </publisher> <location> New York. </location>
+<author> S. Even and R. E. Tarjan. </author> <title> Network flow and testing graph connectivity. </title> <journal> SIAM J. on Computing, </journal> <volume> 4: </volume> <pages> 507--518, </pages> <date> 1975. </date>
+<author> Price, D. J. de Solla </author> <date> (1970), </date> <title> “Citation Measures of Hard Science, Soft Science, Technology, and Nonscience”, </title> <editor> in Nelson, C. E. & Pollock, D. K. (Eds.), </editor> <booktitle> Communication among Scientists and Engineers. </booktitle> <location> Heath, Lexington, MA, </location> <pages> pp. 3-22. </pages>
+<author> P. Homburg, M. van Steen, and A.S. Tanenbaum. </author> <title> “An Architecture for A Scalable Wide Area Distributed System.” </title> <booktitle> In Proc. Seventh SIGOPS European Workshop, </booktitle> <location> Connemara, Ireland, </location> <date> Sept. 1996. </date> <publisher> ACM. </publisher> <note> To appear. </note>
+<author> Gunter Ahrendt. </author> <title> List of the world’s most powerful computing sites. </title> <date> May 8, 1994. </date> <note> Weekly posting on newsgroupcomp.sys.super. </note>
+<author> Lucassen, J. M. </author> <title> Types and Effects, towards the integration of functional and imperative programming. </title> <tech> MIT/LCS/TR-408 (Ph. D. Thesis). </tech> <institution> MIT Laboratory for Computer Science, </institution> <date> August 1987. </date>
+<author> Banerjee, J., Kim, W., Kim, S.J., and Garza, J.F., </author> <date> 1988. </date> <title> "Clustering a DAG for CAD Databases," </title> <journal> IEEE Trans. on Software Engineering, </journal> <volume> Vol. 14, No. 11. </volume>
+<author> C. Helmberg, B. Mohar, S. Poljak, and F. Rendl, </author> <title> A spectral approach to bandwidth and separator problems in graphs, </title> <note> manuscript, </note> <institution> Institut fur Mathematik, </institution> <location> Graz, Austria, </location> <date> 1993. </date>
+<author> J.J. Buckley and Y. Qu, </author> <title> Solving linear and quadratic fuzzy equations, Fuzzy Sets and Systems, </title> <date> (1990) </date> <pages> 43-59. </pages>
+<author> Irma Becerra-Fernandez and David W. Aha. </author> <title> Case-based problem solving for knowledge management systems. </title> <booktitle> In Proceedings of FLAIRS-99. </booktitle> <publisher> AAAI Press, </publisher> <date> 1999. </date> <note> To Appear. </note>
+<author> L. Kontothanassis, R. Sitaraman, J. Wein, D. Hong, R. Kleinberg, B. Mancuso, D. Shaw, and D. Stodolsky, </author> <title> “A transport layer for live streaming in a content delivery network,” </title> <booktitle> Proc. IEEE, </booktitle> <volume> vol. 92, no. 9, </volume> <pages> pp. 1408–1419, </pages> <date> Sep. 2004. </date>
+<author> H. S. Malvar, </author> <title> "Lapped biorthogonal transforms for transform coding with reduced blocking and ringing artifacts," </title> <booktitle> Proc. Int. Conf. Acoustics, Speech, and Signal Processing, </booktitle> <location> Munich, Germany, </location> <pages> pp. 2421--2424, </pages> <date> April 1997. </date>
+<author> M.J. Cresswell. </author> <title> Logics and Languages. </title> <publisher> Methuen and Co., </publisher> <location> London, </location> <date> 1973. </date>
+<author> Kaas, R.; Dhaene, J.; Goovaerts; M.J. </author> <date> (2000). </date> <title> “Upper and lower bounds for sums of random variables”, </title> <journal> Insurance: Mathematics & Economics, </journal> <volume> 23, </volume> <pages> 151–168. </pages>
+<author> Friedman, J. H. and Silverman, B. W. </author> <title> Flexible parsimonious smoothing and additive modeling (with discussion). </title> <journal> TECHNOMETRICS. </journal> <date> 1989. </date>
+<author> Fenton, N. E. and Neil, M. </author> <title> SCULLY: Scaling up Bayesian Nets for Software Risk Assessment, </title> <institution> Queen Mary University of London, </institution> <note> www.dcs.qmul.ac.uk/research/radar/Projects, </note> <date> 2001. </date>
+<author> Rudolf Lidl and Harald Niederreiter. </author> <title> Introduction to Finite Fields and their applications. </title> <publisher> Cambridge University Press, </publisher> <note> revised edition, </note> <date> 1994. </date>
+<author> Bellare, M., and Rogaway, P. </author> <title> Random oracles are practical: A paradigm for designing efficient protocols. </title> <booktitle> In Proceedings of the 1st ACM Conference on Computer and Communications Security </booktitle> <date> (1993), </date> <pages> pp. 62–73. </pages>
+<author> Torben Amtoft and Flemming Nielson and Hanne Riis Nielson and Jurgen Ammann: </author> <title> Polymorphic subtypes for effect analysis: the dynamic semantics. </title> <booktitle> In Analysis and Verification of Multiple-Agent Languages, </booktitle> <pages> pages 172--206, </pages> <tech> SLNCS 1192, </tech> <date> 1997. </date>
+<author> B. Clifford Neuman and Theodore Ts'o. </author> <title> Kerberos: an authentication service for computer networks. </title> <journal> IEEE Communications, </journal> <volume> 32(9): </volume> <pages> 33-38, </pages> <date> September 1994. </date>
+<author> L. D. Catledge, J. E. Pitkow, </author> <title> “Characterizing browsing strategies in the world-wide web.” </title> <journal> Computer Networks and ISDN Systems, </journal> <volume> 6, </volume> <pages> 10–65, </pages> <date> 1995. </date>
+<author> P. Sarkar, </author> <title> “An Iterative Algorithm for Optimal Style-Conscious Field Classification,” </title> <booktitle> Proc. 16th Int’l Conf. Pattern Recognition, </booktitle> <volume> vol. IV, </volume> <pages> pp. 243-246, </pages> <date> Aug. 2002. </date>
+<author> Fontana, W., and Schuster, P. </author> <date> 1998b. </date> <title> Shaping space: The possible and the attainable in rna genotypephenotype mapping. </title> <journal> Journal of Theoretical Biology </journal> <volume> 194: </volume> <pages> 491-515. </pages>
+<author> E.G. Ström, S. Parkvall, S.L. Miller, B.E. Ottersten. </author> <title> Propagation delay estimation of DS-CDMA signals in a fading Environment. </title> <booktitle> Proc. GLOBECOM’ </booktitle> <date> 1994, </date> <pages> pages 85-89. </pages>
+<author> Sren Se and Kevin Karplus. </author> <title> Ordering heuristics for ordered binary decision diagrams and canonical if-then-else dags. </title> <booktitle> In International Workshop on Logic Synthesis, </booktitle> <location> Lake Tahoe, CA, </location> <date> May 1993. </date>
+<author> H. L. Bodlaender, R. G. Downey, M. R. Fellows, and H. T. Wareham. </author> <title> The parameterized complexity of sequence alignment and consensus (extended abstract). </title> <booktitle> In Proc. of the Fourth Conference on Combinatorial Pattern Matching (CPM'94), </booktitle> <date> 1994. </date>
+<author> E.J. Wegman. </author> <title> Hyperdimensional Data Analysis Using Parallel Coordinates. </title> <journal> Journal of the American Statistical Association, </journal> <volume> 85, 411, </volume> <journal> Theory and Methods, </journal> <pages> pp. 664675, </pages> <date> 1990. </date>
+<author> K. Lai and M. Baker, </author> <title> “A Performance Comparison of UNIX Operating Systems on the Pentium,” </title> <booktitle> in Proceedings of the 1996 USENIX Technical Conference, USENIX, </booktitle> <date> January 1996. </date>
+<author> Pylyshyn, Z. W. </author> <date> (1984). </date> <title>  Computation and Cognition: Toward a Foundation for Cognitive Science. </title> <location> Cambridge, MA: </location> <publisher> MIT Press. </publisher>
+<author> Michel Loeve. </author> <title> Probability Theory I. </title> <location> New York, </location> <date> 1977. </date> <note> 4th ed. </note>
+<author> Mario Lauria and Andrew Chen. </author> <title>  MPI-FM: High Performance MPI on Workstation Clusters. </title> <journal> Journal of Parallel and Distributed Computing, </journal> <volume> 40(1): </volume> <pages> 4--18, </pages> <date> January 1997. </date> <note> http://wwwcsag. cs.uiuc.edu/projects/comm/mpifm.html. </note>
+<author> Balc'azar, J. L., D'iaz, J., Gabarr'o, J. </author> <title> Structural Complexity I. </title> <publisher> Springer-Verlag, </publisher> <location> Berlin, </location> <date> 1988. </date>
+<author> Allen, W. </author> <date> (1988). </date> <title> Examining psychic phenomena. </title> <booktitle> In The Ultimate Humour Book. </booktitle> <location> London: </location> <publisher> Chancellor Press. </publisher>
+<author> Jordan, J. </author> <date> (1987). </date> <title> The informational requirements of local stability in decentralized allocation mechanisms. </title> <editor> In T. Groves, R. Radner, and S. Reiter (Eds.), </editor> <booktitle> Information, Incentives, and Economic Mechanisms. </booktitle> <location> Minneapolis: </location> <publisher> University of Minnesota Press. </publisher>
+<author> Thiersch, C. </author> <date> 1978 </date> <title> Topics in German Syntax. </title> <tech> PhD dissertation, </tech> <institution>  MIT Department of Linguistics and Philosophy, </institution> <location> Cambridge, Massachusetts. </location>
+<author> Knuth, D., </author> <title> The Art of Computer Programming, </title> <publisher> AddisonWesley, </publisher> <date> 1981. </date>
+<author> G. Pei and C. Chien. </author> <title> Low Power TDMA in Large Wireless Sensor Networks. </title> <booktitle> Military Communications Conference, </booktitle> <volume> 1: </volume> <pages> 347–351, </pages> <date> 2001. </date>
+<author> Bairoch,A. and Apweiler,R. </author> <date> (1998) </date> <title> The SWISS-PROT protein sequence data bank and its supplement TrEMBL in 1999. </title> <journal> Nucleic Acids Res., </journal> <volume> 27, </volume> <pages> 49--54. </pages>
+<author> Inakage, Masa. </author> <title> "Caustics and Specular Reflection Models for Spherical Objects and Lenses." </title> <journal> The Visual Computer, </journal> <volume> Vol. 2, </volume> <date> 1986, </date> <pages> p. 379-383. </pages>
+<author> H. J. Landau and H. O. Pollak, </author> <title> “Prolate spheroidal wave functions, Fourier analysis, and uncertainty—III: The dimension of the space of essentially time- and band-limited signals,” </title> <journal> Bell Syst. Tech. J., </journal> <volume> vol. 41, no. 4, </volume> <pages> pp. 1295–1336, </pages> <date> Jul. 1962. </date>
+<author> S. Antoy. </author> <title> Needed Narrowing in Prolog. </title> <tech> Technical Report 96-2, </tech> <institution> Portland State University, </institution> <date> 1996. </date>
+<author> H. Uzawa, </author> <title> Walras’ existence theorem and Brouwer’s fixed point theorem, </title> <journal> Econom. Studies Quart. </journal> <volume> 12 </volume> <pages> 59-62 </pages> <date> (1962). </date>
+<author> Dimitrios Georgakopoulos, Marek Rusinkiewicz, and Amit Sheth. </author> <title> On Serializability of Multidatabase Transactions Through Forced Local Conflicts. </title> <booktitle> In Proceedings of the Seventh International Conference on Data Engineering, </booktitle> <pages> pages 314--323, </pages> <location> Kobe, Japan, </location> <date> April 1991. </date>
+<author> Sotis DE, Haufler HC, Darrow DC and Gastony GJ </author> <date> (1983) </date> <title> Starch gel electrophoresis of ferns: A compilation of grinding buffers, gel and electrode buffers and staining schedules. </title> <journal> Amer Fern J, </journal> <volume> 73 </volume> <pages> 9-27. </pages>
+<author> McLeod, A. I. and Hipel, K. W. </author> <date> (1978) </date> <title> Preservation of the rescaled adjusted range 1: A reassessment of the Hurst phenomenon. </title> <journal> Water Resource Research </journal> <volume> 14, </volume> <pages> 491-508. </pages>
+<author> H. Barringer, M. Fisher, G. Gough. </author> <title> Fair SMG and linear time model checking. </title> <booktitle> In Proc. Workshop on Automatic Verification Methods for Finite State Systems, </booktitle> <location> Grenoble, Frankreich, </location> <date> 1989. </date>
+<author> J. Ousterhout, Da Costa, H. Harrison, J Kunze, M. Kupfer, and J. Thompson. </author> <title> A Trace-Driven Analysis of the Unix 4.2 BSD File System. </title> <booktitle> In Proceedings of the 10th Symposium on Operating Systems Principles, </booktitle> <pages> pages 15--24, </pages> <date> December 1985. </date>
+<author> R. Bajcsy and C. Tsikos. </author> <title> Perception via manipulation. </title> <booktitle> In Proc. of the Int. Symp. & Exposition on Robots, </booktitle> <pages> pages 237--244, </pages> <location> Sydney, Australia, </location> <date> November 6-10 1988. </date>
+<author> Vincent RA, Mitchell AI & Robertson DI </author> <date> (1980) </date> <title> User guide to TRANSYT version 8. </title> <institution> Transport and Road Research Laboratory </institution> <tech> Report: LR 888. Crowthorne: TRL. </tech>
+<author> Newkome, G. R.; Moorefield, C. N.; Vögtle, F. </author> <title> Dendritic Molecules, Concepts, Syntheses, Perspectives; </title> <publisher> VCH: </publisher> <location> Weinheim, </location> <date> 1996. </date>
+<author> T. Klemenschits, & E. Bonek, </author> <title> "Radio Coverage of Road Tunnels at 900 and 1800 MHz by Discrete Antennas," </title> <booktitle> The 5th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, </booktitle> <pages> pp. 411-415, </pages> <date> September, 1994. </date>
+<author> Steven B. Wampler, </author> <title> "The Control Mechanisms for Generators in Icon", </title> <institution> University of Arizona Department of Computer Science </institution> <tech> TR 81-18, </tech> <date> December 1981. </date>
+<author> Bonchev, D., & Rouvray, D. H.  (Eds.).</author> <date> (1990). </date> <title> Chemical Graph Theory: Introduction and Fundamentals, </title> <volume> vol. 1 </volume> <journal> of Mathematical Chemistry Series. </journal> <location> London, UK: </location> <publisher> Gordon and Breach Science Publishers. </publisher>
+<author> David Mosberger and Larry L. Peterson. </author> <title> Making paths explicit in the Scout operating system. </title> <booktitle> In Symposium on Operating Systems Design and Implementation, </booktitle> <volume> volume 30, </volume> <pages> pages 153–167. </pages> <publisher> ACM, </publisher> <date> 1996. </date>
+<author> S. Seneff and J. Polifroni. </author> <title> A new restaurant guide conversational system: Issues in rapid prototyping for specialized domains. </title> <booktitle> In Proc. ICSLP, </booktitle> <pages> pages 665--668, </pages> <date> 1996. </date>
+<author> A. B. Benitez, H. Rising, C. Jrgensen, R. Leonardi, A. Bugatti, K. Hasida, R. Mehrotra, A. Murat Tekalp, A. Ekin, T. Walker, </author> <title> “ Semantics of Multimedia in MPEG7”, </title> <booktitle> Proceedings of IEEE 2002 Conference on Image Processing </booktitle> <journal> (ICIP-2002), </journal> <location> Rochester, New York, USA, </location> <date> Sep 22-25, 2002. </date>
+<author> C. Röder, </author> <title> “Load Management Techniques in Distributed Heterogeneous Systems,” </title> <tech> Ph.D. dissertation, </tech> <institution> Technische Universität München, </institution> <date> 1998. </date>
+<author> M. M. Sondhi and J. Schroeter. </author> <title> "A hybrid time-frequency domain articulatory speech synthesizer". </title> <journal> IEEE Transactions on Acoustics, Speech and Signal Processing, </journal> <volume> 35(7): </volume> <pages> 955--967, </pages> <date> July 1987. </date>
+<author> W. Lehner, J. Albretch, and H. Wedkind. </author> <title> Normal forms for multidimensional databases. </title> <tech> In Technical Report, </tech> <institution> University of Erlangen-Nuremberg, </institution> <location> Germany, </location> <date> 1998. </date>
+<author> Garey, M.R., Johnson, D.S.: </author> <title> Computers and intractability: a guide to the theory of NP-completeness. </title> <publisher> W.H. Freeman </publisher> <date> (1979) </date>
+<author> P.W. Hammer, N. Platt, S.M. Hammel, J.F. Heagy and B.D. Lee. </author> <title> Experimental observation of on-off intermittency. </title> <journal> Phys. Rev. Lett. </journal> <volume> 73: </volume> <pages> 1095--1098, </pages> <date> 1994. </date>
+<author> Dewitte-Orr SJ, Zorzitto JR, Sutton LP, Bols NC. </author> <date> (2005) </date> <title> Preferential induction of apoptosis in the rainbow trout macrophage cell line, RTS11, by actinomycin D, cycloheximide and double stranded RNA. </title> <journal> Fish Shellfish Immunol. </journal> <volume> 18(4): </volume> <pages> 279-95. </pages>
+<author> Cichocki, A., Zhang, L., Amari, S.-I. </author> <title> Semi-blind and state-space approaches to nonlinear dynamic independent component analysis, </title>  <booktitle>In: Proc. of Int. Symposium on Nonlinear Theory and its Application, </booktitle> <location> Crans-Montana, Switzerland, </location> <date> 1998, </date> <pages> pp.291-294. </pages>
+<author> A. Borel, </author> <title> Linear algebraic groups, </title> <publisher> Springer, </publisher> <date> 1991. </date>
+<author> D. Dussart, J. Hughes, and P. Thiemann. </author> <title>  Type specialisation for imperative languages. </title> <booktitle> In Proceedings of ICFP'97, </booktitle> <pages> pages 204--216. </pages> <publisher> ACM Press, </publisher> <date> 1997. </date>
+<author> Lashon Booker. </author> <title> Improving Search in Genetic Algorithms. </title> <editor>In Lawrence Davis, editor, </editor> <booktitle> Genetic Algorithms and Simulated Annealing. </booktitle> <publisher> Pitman </publisher><location> (London), </location> <date> 1987. </date>
+<author> Evans, F., Skiena, S., and Varshney, A. </author> <title> Optimizing triangle strips for fast rendering. </title> <booktitle> In Visualization ’96 Proceedings </booktitle> <date> (1996), </date> <publisher> IEEE, </publisher> <pages> pp. 319–326. </pages>
+<author> M. Rhodes, </author> <title> “Computer graphics and medicine: a complex partnership”, </title> <journal> IEEE Computer Graphics and Applications, </journal> <volume> 17(1), </volume> <pages> pp. 22– 28, </pages> <date> 1997. </date>
+<author> Baumberg A. M. & Hogg D. C. </author> <date> [1994]. </date> <title> An efficient method for contour tracking using active shape models. </title> <institution> University of Leeds School of Computer Studies </institution> <note> Research Report Series, </note> <tech> Report 94.11. </tech>
+<author> Gelman, A., and Rubin, D. B. </author> <date> (1992b). </date> <title> Inference from iterative simulation using multiple sequences (with discussion). </title> <journal> Statistical Science </journal> <volume> 7, </volume> <pages> 457--511. </pages>
+<author> John G. Cleary, W. J. Teahan, and Ian H. Witten, </author> <title> Unbounded length contexts for PPM, </title> <booktitle> Proceedings of the IEEE Data Compression Conference, </booktitle> <date> March 1995, </date> <pages> pp. 52--61. </pages>
+<author> Isacson G., Nilsson J.-E. </author> <title> "An Experimental Comparison of First- and Second- Price Auctions - The Case of Track Capacity Allocation". </title> <booktitle> In Fifth International Conference on Competition and Ownership in Land Passenger Transport, </booktitle> <location> Leeds, England, </location> <note> maj </note> <date> 1997. </date>
+<author> Susan Montgomery. </author> <title> Hopf Algebras and Their Actions on Rings, </title> <volume> volume 82 </volume> <institution> of CBMS Regional Conference Series in Mathematics. </institution> <publisher> American Mathematical Society, </publisher> <date> 1993. </date>
+<author> Gil-Alana, L.A. and Robinson, P.M. </author> <date> (1997), </date> <title> Testing of unit root and other nonstationary hypotheses in macroeconomic time series, </title> <journal> Journal of Econometrics, </journal> <volume> 80, </volume> <pages> 241-268. </pages>
+<author> A. Heinemann, T. Straub: </author> <title> An Anonymous Bonus Point System For Mobile Commerce Based On Word-Of-Mouth Recommendation. </title> <booktitle> In: Proc. 19 th ACM Symp. Applied Computing, </booktitle> <location> Nicosia, Cyprus. </location> <pages> pp. 766-773, </pages> <publisher> ACM Press, </publisher> <location> NY, </location> <date> 2004. </date>
+<author> Koubias, S. A. and Papadopoulos, G. D., </author> <date> 1995, </date> <title> "Modern Fieldbus Communication Architectures for Real-Time Industrial Applications," </title> <journal> Computers in Industry, </journal> <volume> Vol. 26, No. 3, </volume> <pages> pp. 243-252. </pages>
+<author> H. Balakrishnan, H.S. Rahul, S. Seshan. </author> <title> An Integrated Congestion Management Architecture for Internet Hosts. </title> <booktitle> ACM SIGCOMM’99, </booktitle> <date> 1999. </date>
+<author> Short, J., Williams, E., & Christie, B. </author> <date> (1976). </date> <title> The social psychology of telecommunications. </title> <location> London: </location> <publisher> Wiley. </publisher>
+<author> M.L. Wu and T.Y. Wang, </author> <title> "Access control with single-key-lock with single-key-lock", </title> <journal> IEEE trans. Software Eng. </journal> <volume> Vol SE-10, No 2, </volume> <pages> pp 185-191, </pages> <date> March 1984. </date>
+<author> Hestenes, D. </author> <date> (1998). </date> <title> Modulatory mechanisms in mental disorders. </title> <editor> In D. J. Stein & J. Ludik, </editor> <booktitle> Neural networks and psychopathology </booktitle> <pages> (pp. 132–164). </pages> <location> New York: </location> <publisher> Cambridge University Press. </publisher>
+<author> HEMPEL, CG; OPPENHEIM, P. </author> <title> Studies in the Logic of Explanation. </title> <journal>  Philosophy of Science, </journal> <date> 1948, </date> <volume> 15, </volume> <pages> 135-175. </pages>
+<author> Gail MH, Brinton LA, Byar DP, Corle DK, Green SB, Schairer C, Mulvihill JJ: </author> <title>  Projecting individualized probabilities of developing breast cancer for white females who are being examined annually. </title> <journal> J Natl Cancer Inst </journal> <date> 1989, </date> <volume> 81: </volume> <pages> 1879-1886. </pages>
+<author> Heinen, J. </author> <date> (1996) </date> <title> “Internet marketing practices”, </title> <journal> Information Management & Computer Security, </journal> <volume> Vol. 4, No. 5, </volume> <pages> pp. 7-14. </pages>
+<author> V. S. Pai et al. </author> <title> The Impact of Instruction Level Parallelism on Multiprocessor Performance and Simulation Methodology. </title> <booktitle> In HPCA-3, </booktitle> <pages> pages 72–83, </pages> <date> 1997. </date>
+<author> W. Yu, J. Wu, D.K. Panda. </author> <title> Scalable Startup of Parallel Programs over Infiniband. </title> <tech> Technical Report OSU-CISRC-5/04-TR33, </tech> <institution> Dept. of Computer and Information Science, The Ohio State University, </institution> <location> Columbus, OH 43210, </location> <date> 2004. </date>
+<author> J. Massey and D. Costello. </author> <title> Nonsystematic Convolutional Codes for Sequential Decoding in Space Applications. </title> <journal> IEEE Transactions on Communications, </journal> <pages> p. 806--813, </pages> <date> October 1971. </date>
+<author> V. Sver'ak, </author> <title> Regularity properties of deformations with finite energy, </title> <journal> Arch. Rat. Mech. Anal. </journal> <volume> 100 </volume> <date> (1988), </date> <pages> 105--127. </pages>
+<author> David Noble </author> <title> “Assessing the Reliability of Open Source Information” </title> <booktitle> Proceedings of the 7th International Conference on Information Fusion. </booktitle> <location> Stockholm, Sweden, </location> <date> 2004. </date>
+<author> A. Mahanti, D. Eager, M. Vernon, and D. Sundaram-Stukel. </author> <title> Scalable on-demand media streaming with packet loss recovery. </title> <booktitle> In Proceedings of SIGCOMM, </booktitle> <date> August 2001. </date>
+<author> Graham, John R., </author> <date> 1996a, </date> <title> Debt and the marginal tax rate, </title> <journal> Journal of Financial Economics </journal> <volume> 41, </volume> <pages> 41-73. </pages>
+<author> F. Korn, N. Sidropoulos, C. Faloutsos, E. Siegel, and Z. Protopapas, </author> <title> "Fast Nearest Neighbor SSM SII SDR Search in Medical Image Databases". </title> <booktitle> Proc. VLDB Conf., </booktitle> <pages> pp215-226, </pages> <date> September 1996. </date>
+<author> Gelernter, H., </author> <date> 1959, </date> <title> Realization of a geometry theorem-proving machine, </title>  <booktitle> in: Proceedings of the International Conference on Information Processing, </booktitle> <publisher> UNESCO. </publisher>
+<author> S. Eidenbenz; </author> <title> Inapproximability Results for Guarding Polygons without Holes; </title> <journal> Lecture Notes in Computer Science, </journal> <volume> Vol. 1533 </volume> <institution> (ISAAC'98), </institution> <pages> p. 427-436, </pages> <date> 1998. </date>
+<author> Holland, J., </author> <title> Emergence: from Chaos to Order, </title> <location> Boston, MA: </location> <publisher> Addison-Wesley Longman Publishing Co., Inc., </publisher> <date> 1998. </date>
+<author> Lavrač, N., & Dˇzeroski, S. </author> <date> (1994). </date> <title> Inductive logic programming: Techniques and applications. </title> <location> Chichester, UK: </location> <publisher> Ellis Horwood. </publisher>
+<author> Link, Bruce G., Mary Clare Lennon, and Bruce P. Dohrenwend. </author> <date> 1993. </date> <title> "Socioeconomic Status and Depression: The Role of Occupational Direction, Control, and Planning." </title> <journal> American Journal of Sociology </journal> <volume> 98: </volume> <pages> 1351-1387. </pages>
+<author> Gary Froyland, Kevin Judd, and Alistair I. Mees. </author> <title> Estimation of Lyapunov exponents of dynamical systems using a spatial average. </title> <journal> Physical Review E, </journal> <volume> 51(4): </volume> <pages> 2844--2855, </pages> <date> 1995. </date>
+<author> A. Basu, C.-H. L. Ong, A. Rasala, F. B. Shepherd, and G. Wilfong, </author> <title> “Route oscillations in IBGP with route reflection,” </title> <booktitle> in Proc. ACM SIGCOMM, </booktitle> <date> August 2002. </date>
+<author> Rod Burstall and Butler Lampson. </author> <title> A kernel language for abstract data types and modules. </title> <editor> In Giles Kahn, David MacQueen, and Gordon Plotkin, editors, </editor> <booktitle> Proceedings, International Symposium on the Semantics of Data Types, </booktitle> <volume> volume 173 of </volume> <journal> Lecture Notes in Computer Science, </journal> <pages> pages 1--50. </pages> <publisher> Springer, </publisher> <date> 1984. </date>
+<author> A. Belussi and C. Faloutsos. </author> <title> Estimating the Selectivity of Spatial Queries Using the `Correlation' Fractal Dimension. </title> <booktitle> In Proceedings of the International Conference on Very Large Data Bases, </booktitle> <pages> pages 299--310, </pages> <date> September 1995. </date>
+<author> Tamura, R.N., Faries, D.E., Andersen, J.S., Heiligenstein, J.H., </author> <date> 1994. </date> <title> A case study of an adaptive clinical trial in the treatment of out-patients with depressive disorder. </title> <journal> J. Amer. Statist. Assoc. </journal> <volume> 89, </volume> <pages> 768–776. </pages>
+<author> R. Valette, M. Courvoisier, J.M. Bigou, and J. Albukerque. </author> <title> A Petri Net Based Programmable Logic Controller. </title> <booktitle> In IFIP First International Conference on Computer Applications in Production and Enginnering, </booktitle> <date> April 1983. </date>
+<author> J. Carter and M. Wegman, </author> <title> "Universal classes of hash functions," </title> <journal> J. of Computer and System Sciences, </journal> <volume> vol. 18, no. 2, </volume> <pages> pp. 143-154, </pages> <date> 1979. </date>
+<author> R.M. Karp. </author> <title> "Reducibility Among Combinatorial Problems". </title> <journal> Complexity of Computer Computations, </journal> <location> New Rouk: </location> <publisher> Plenum, </publisher> <date> 1972. </date>
+<author> C. de Boor, </author> <title> On the evaluation of box splines, </title> <journal> Numer. Algorithms </journal> <volume> 8 </volume> <date> (1993) </date> <pages> 5--23 </pages>
+<author> Castelfranchi, C. and Tan, Y. H. (eds). </author> <title> Trust and Deception in Virtual Societies. </title> <publisher> Kluwer Academic Publishers, </publisher> <date> 2000 </date>
+<author> B. P. Leonard. </author> <title> The ULTIMATE conservative dierence scheme applied to unsteady onedimensional advection. </title> <journal> Comput. Methods Appl. Mech. Engrg., </journal> <volume> 88: </volume> <pages> 17-74, </pages> <date> 1991. </date>
+<author> E. Y. Chang, Z. Manna, and A. Pnueli. </author> <title>  Characterization of temporal property classes. </title> <booktitle> In Proc. Automata, Languages and Programming, </booktitle> <volume> volume 623 </volume> <journal> of LNCS, </journal> <pages> pages 474#486. </pages> <publisher> Springer, </publisher> <date> 1992. </date>
+<author> G.P. Bingham. </author> <title> Dynamics and the problem of visual event recognition. </title> <editor> In R. Port and T. van Gelder, editors, </editor> <booktitle> Mind as Motion: Explorations in the Dynamics of Cognition, </booktitle> <pages> chapter 14, pages 403--448. </pages> <publisher> MIT Press/Bradford Books, </publisher> <date> 1995. </date>
+<author> D. V. James, A. T. Laundrie, S. Gjessing, and G. S. Sohi. </author> <title> Scalable Coherent Interface. </title> <journal> IEEE Computer, </journal> <volume> 23(6): </volume><pages> 74--77, </pages> <date> 1990. </date>
+<author> Kimple, J.F. and Richards, L.G., </author> <date> 1991, </date> <title> “A Feature-Based Group Technology Coding System for Sheet Metal Parts,” </title> <journal> Journal of Engineering Design </journal> <volume> 2(3), </volume> <pages> pp. 263-279. </pages>
+<author> Sammonds, P.R., P.G. Meridith, and I.G. Main, </author> <title> Role of pore fluids in the generation of seismic precursors to shear fracture, </title> <journal> Nature, </journal> <volume> 359, </volume> <pages> 228-230, </pages> <date> 1993. </date>
+<author> John Brant, Brian Foote, Ralph Johnson, and Don Roberts. </author> <title> Wrappers to the rescue. </title> <booktitle> In Proceedings European Conference on Object Oriented Programming </booktitle> <institution> (ECOOP </institution> <date> 1998), </date> <volume> volume 1445 </volume><journal> of LNCS, </journal> <pages> pages 396–417. </pages> <publisher> Springer-Verlag, </publisher> <date> 1998. </date> <note> method wrappers. </note>
+<author> Knuth, Donald E. </author> <date> (1998). </date> <title> The Art of Computer Programming Volume 3: Sorting and Searching. </title> <location> Reading, Massachusetts: </location> <publisher> Addison-Wesley. </publisher>
+<author> J. H'amorsk'y and U. Wachsmann, </author> <title> "Criteria for Minimum Bit Error Rate Decoding of Turbo-Codes," </title> <booktitle> in Proc. Kleinheubacher Tagung, </booktitle> <location> Kleinheubach, Germany, </location> <date> 1995, </date> <pages> pp. 607--616. </pages>
+<author> T. Kerkhoven and Y. Saad, </author> <title> On acceleration methods for coupled nonlinear elliptic systems, </title> <journal> Numerische Mathematik, </journal> <volume> 60 </volume> <date> (1992), </date> <pages> pp. 525--548. </pages>
+<author> S. Frlund. </author> <title> Inheritance of synchronization constraints in concurrent object-oriented programming languages. </title> <booktitle> In Proceedings of the 6th European Conference on Object-Oriented Programming </booktitle> <institution> (ECOOP'92), </institution> <volume> volume 615 </volume> <journal> of Lecture Notes in Computer Science, </journal> <pages> pages 185--196. </pages> <publisher> SpringerVerlag, </publisher> <date> June 1992. </date>
+<author> Johan Fagerstrom, Peter Fritzson, Johan Ringstrom, and Mikael Pettersson. </author> <title> A data-parallel language and its compilation to a formally defined intermediate language. </title> <booktitle> In Proceedings Fourth International Conference on Computing and Information, </booktitle> <date> May 1992. </date>
+<author> Fahrmeir, L. </author> <date> (1992), </date> <title> "Posterior Mode Estimation by Extended Kalman Filtering for Multivariate Dynamic Generalized Linear Models," </title> <journal> Journal of the American Statistical Association, </journal> <volume> 87, </volume> <pages> 501-509. </pages>
+<author> P. J. G. Ramadge and W. M. Wonham, </author> <title> "The control of discrete event systems", </title> <booktitle> Proceedings of the IEEE, </booktitle> <volume> vol. 77, no. 1, </volume> <pages> pp. 81--97, </pages> <date> 1989. </date>
+<author> A. Said and W.A. Pearlman, </author> <title> "A new, fast, and efficient image codec based on set partitioning in hierarchical trees," </title> <booktitle> IEEE Transactions on Ciruits and Systems for Video Technology, </booktitle> <volume> vol. 6, no. 3, </volume> <pages> pp. 243--249, </pages> <date> June 1996. </date>
+<author> D Lehmann. </author> <title> Belief revision, revised. </title> <booktitle> In Proceedings IJCAI-95, </booktitle> <pages> pages 1534--1540, </pages> <date> 1995. </date>
+<author> Yamada, T., and G. L. Mellor, </author> <date> 1979: </date> <title> A numerical simulation of BOMEX data using a turbulence closure model coupled with ensemble cloud relations. </title> <journal> Quart. J. Roy. Meteor. Soc., </journal> <volume> 105, </volume> <pages> 915-944. </pages>
+<author> J. R. Goodman, J. Hsieh, K. Liou, A. R. Pleszkun, P. B. Schechter, and H. C. Young. </author> <title> PIPE: A VLSI decoupled architecture. </title> <booktitle> In 12th Annual International Symposium on Computer Architecture, </booktitle> <pages> pages 20--27. </pages> <publisher> IEEE Computer Society, </publisher> <date> June 1985. </date>
+<author> J. Hipp, R. Lober, </author> <title> “Plastering: All-Hexahedral Mesh Generation Through Connectivity Resolution,” </title> <booktitle> Proc. 3 rd Int. Meshing Roundtable, </booktitle> <date> 1994. </date>
+<author> Wood, M.M. </author> <date> (1993) </date> <title> Categorial Grammars, </title> <location> Routledge, London. </location>
+<author> C. Mercer, S. Savage and H. Tokuda. </author> <title> Processor Capacity Reserves: Operating System Support for Multimedia Applications. </title> <booktitle> Proceedings of the International Conference on Multimedia Computing and Systems, </booktitle> <pages> pp. 90-99, </pages> <date> May 1994. </date>
+<author> Zinaida Trybulec. </author> <title> Properties of subsets. </title> <journal> Journal of Formalized Mathematics, </journal> <volume> 1, </volume> <date> 1989. </date> <note> http://mizar.org/JFM/Vol1/subset_1.html. </note>
+<author> D. A. Norman, </author> <title> Things that make us smart, </title> <publisher> Addison-Wesley Publishing, </publisher> <date> 1993. </date>
+<author> M. Kass, A. Witkin, and D. Terzopoulus. </author> <title> Snakes: Active contour models. </title> <journal> International Journal of Computer Vision, </journal> <volume> 1(4): </volume> <pages> 321--331, </pages> <date> 1987. </date>
+<author> R. Bergamaschi, S. Bhattacharya, R. Wagner, C. Fellenz, M. Muhlada, W. Lee, F. White, and J.-M. Daveau. </author> <title> Automating the design of SoCs using cores. </title> <journal> IEEE Design & Test of Computers, </journal> <volume> 18(5): </volume> <pages> 32--45, </pages> <date> 2001. </date>
+<author> John C. Baez, James Dolan, </author> <title> Categorification. </title> <booktitle> In Higher Category Theory, </booktitle> <editor> eds. Ezra Getzler and Mikhail Kapranov. </editor> <journal> Contemporary Mathematics </journal> <volume> vol. 230, </volume> <publisher> Amer. Math. Soc., </publisher> <date> 1998. </date> <pages> pp. 1-36. </pages>
+<author> Austin, S., and Parkin, G.I.: </author> <title> Formal methods: A survey, </title> <institution> National Physical Laboratory, </institution> <location> Queens Road, Teddington, Middlesex TW11 0LW, UK, </location> <date> March 1993 </date>
+<author> Fisher, Irving </author> <date> (1934), </date> <title> Stable Money. </title> <note> Published 1935 in Britain under the title of Stable Money: A History of the Movement, </note> <publisher> Allen & Unwin, </publisher> <location> London. </location>
+<author> B. S. Baker. </author> <title> A theory of parameterized pattern matching: Algorithms and applications. </title> <booktitle> In ACM Symposium on Theory of Computing </booktitle> <date> (1993), </date> <pages> pp. 71--80. </pages>
+<author> Banerjea, A., and B.A. Mah., </author> <title> "The Real-Time Channel Administration Protocol", </title> <booktitle> Second International Workshop on Network and Operating System Support for Digital Audio and Video, </booktitle> <institution> IBM ENC, </institution> <location> Heidelburg, Germany, </location> <publisher> Springer Verlag, </publisher> <date> 1991. </date>
+<author> K. N. Menezes, S. W. Sathaye, and T. M. Conte, </author> <title> "Path prediction for high issue-rate processors," </title> <booktitle> in Proceedings of the </booktitle> <date> 1997 </date> <booktitle> ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, </booktitle> <date> 1997. </date>
+<author> G. A. Kabatyanskii and V. I. Levenshtein. </author> <title> Bounds for packings on a sphere and in space. </title> <journal> Problems of Information Transmission, </journal> <volume> 14(1): </volume> <pages> 1-17, </pages> <date> 1978. </date>
+<author> R. Dube et al., </author> <title> “Signal Stability based Adaptive Routing (SSA) for AdHoc Mobile Networks,” </title> <journal> IEEE Pers. Commun., </journal> <date> Feb. 1997, </date> <pages> pp. 36–45. </pages>
+<author> D. Marcuse, </author> <title> "Calculation of bit-error probability for a lightwave system with optical amplifiers and post-detection Gaussian noise," </title> <journal> J. Lightwave Technol., </journal> <volume> vol. 9, </volume> <pages> pp. 505--513, </pages> <date> April 1991. </date>
+<author> L. Cox, </author> <title> A Constructive Procedure for Unbiased Controlled Rounding, </title> <journal> Journal of the American Statistical Association, </journal> <date> June 1987, </date> <pages> pp 520-524 </pages>
+<author> C.P. Gomes, C. Fernández, B. Selman, and C. Bessiere. </author> <title> Statistical regimes across constrainedness regions. </title> <booktitle> In Proceedings of CP’04, </booktitle> <pages> pages 32–46, </pages> <date> 2004. </date>
+<author> T. Joachims. </author> <title> A probabilistic analysis of the rocchio algorithm with TFIDF for text categorization. </title> <tech> Technical Report Computer Science Technical Report CMU-CS-96-118, </tech> <institution> Carnigie-Mellon University, </institution> <date> 1996. </date>
+<author> QUAN HAASE, ANABEL and BARRY WELLMAN with KEITH HAMPTON and JAMES WITTE. </author> <date> 2002. </date> <title> "Capitalizing on the Net: Social Contact, Civic Engagement, and Sense of Community." </title> <pages> Pp. 291-324 </pages> <booktitle> in The Internet in Everyday Life, </booktitle> <editor> edited by Barry Wellman and Caroline Haythornthwaite. </editor> <location> Oxford: </location> <publisher> Blackwell. </publisher>
+<author> M. von der Beeck. </author> <title> A comparison of statecharts variants. </title> <booktitle> In Symposium on FaultTolerant Computing, LNCS. </booktitle> <publisher> Springer, </publisher> <date> 1994. </date>
+<author> de Lange, PJ, Gardner, RO, Champion, PD, Tanner CC. </author> <date> 1998. </date> <title> Schoenoplectus californicus (Cyperaceae) in New Zealand. </title> <journal> NZ Journal of Botany </journal> <volume> 36: </volume> <pages> 319–27. </pages>
+<author> Sutton RS, Barto AG. </author> <title> Reinforcement Learning: An Introduction, </title> <publisher> MIT Press, </publisher> <date> 1998. </date>
+<author> Yu. E. Nesterov and M. J. Todd, </author> <title> Self-scaled barriers and interior-point methods for convex programming, </title> <journal> Math. Oper. Res. </journal> <volume> 22 </volume> <date> (1997) </date> <pages> 1--46. </pages>
+<author> S.P. Novikov, S.V. Manakov, L.P. Pitaevskii and V.E. Zacharov, </author> <title> Theory of Solitons. </title> <booktitle> The Inverse Scattering Method, </booktitle> <institution> Consultants Bureau, </institution> <location> New York, </location> <date> 1980. </date>
+<author> J. Vaganay and B. Jouvencel. </author> <title> Motion estimation for rov stabilization with a light-stripe sensor. </title> <booktitle> In Oceans'96, </booktitle> <location> Fort Lauderdale, Florida, </location> <date> September 1996. </date>
+<author> T.S. Abdel-Rahman, </author> <title> "Parallel Processing of Best-First Branch-and-Bound Algorithms on Distributed Memory Multiprocessors," </title> <tech> Ph.D. Thesis, </tech> <institution> University of Michigan, </institution> <location> Ann Arbor, </location> <date> 1989. </date>
+<author> Olwal, A., H. Benko, S. Feiner. </author> <title> “SenseShapes: Using Statistical Geometry for Object Selection in a Multimodal Augmented Reality System,” </title> <note> to appear in </note> <booktitle> Proceedings of The Second International Symposium on Mixed and Augmented Reality </booktitle> <date> 2003 </date> <journal> (ISMAR 03), </journal> <date> October 7-10, 2003, </date> <location> Tokyo, Japan, </location> <date> 2003. </date>
+<author> Nishita T, Sederberg T, Kakimoto M </author> <date> (1990) </date> <title> Ray Tracing Trimmed Rational Surface Patches. </title> <booktitle> SIGGRAPH Proceedings </booktitle> <date> 1990, </date> <journal> Computer Graphics </journal> <volume> 24(4): </volume> <pages> 337-345 </pages>
+<author> T.H. Tzen and L.M. Ni, </author> <title> “Trapezoidal Self-Scheduling: A Practical Scheme for Parallel Compilers,” </title> <journal> IEEE Trans. Parallel and Distributed Systems, </journal> <volume> vol. 4, no. 1, </volume> <pages> pp. 87-98, </pages> <date> Jan. 1993. </date>
+<author> Euntai Kim, Minkee Park, Seunghwan Ji and Mignon Park. </author> <title> A New Approach to Fuzzy Modeling. </title> <journal> IEEE Transactions on Fuzzy Systems, </journal> <volume> 5(3): </volume> <pages> 328-337 </pages> <date> (1997). </date>
+<author> Basit, A.H. and Jarzabek, S. </author> <title> “Detecting Higher-level Similarity Patterns in Programs,” </title> <note> to appear in </note> <booktitle> ESEC-FSE'05, European Software Eng. Conf. and ACM SIGSOFT Symp. on the Foundations of Software Eng., </booktitle> <date> Sept. 2005, </date> <location> Lisbon </location>
+<author> V. Govindu and C. Shekhar. </author> <title> Alignment using distributions of local geometric properties. </title> <journal> IEEE Transactions on Pattern Analysis and Machine Intelligence, </journal> <volume> 21(10): </volume> <pages> 1031–1043, </pages> <date> October 1999. </date>
+<author> Harter, S. </author> <date> (1998). </date> <title> The development of self-representations. </title> <editor> In N. Eisenberg (Ed.), </editor> <booktitle> Handbook of child psychology </booktitle> <volume> (Vol. 3, </volume> <pages> pp. 1017-1095). </pages> <location> New York: </location> <publisher> Wiley. </publisher>
+<author> David Basin and Harald Ganzinger. </author> <title> Complexity Analysis Based on Ordered Resolution. </title> <booktitle> In Eleventh Annual IEEE Symposium on Logic in Computer Science, </booktitle> <pages> pages 456--465, </pages> <location> New Brunswick, New Jersey, USA, </location> <date> July 27--30, 1996. </date> <publisher> IEEE Computer Society Press. </publisher>
+<author> J.P. Singh, W.-D. Weber, and A. Gupta. </author> <title> SPLASH: Stanford parallel applications for shared-memory. </title> <tech> Technical Report CSL-TR-91-469, </tech> <institution> Stanford University, </institution> <date> April 1991. </date>
+<author> Loic Prylli, Bernard Tourancheau, and Roland Westrelin. </author> <title> The design for a high performance MPI implementation on the Myrinet network. </title> <booktitle> In EuroPVM/MPI, </booktitle> <pages> pages 223–230, </pages> <date> 1999. </date>
+<author> K. Kennedy, K. S. McKinley, and C. Tseng. </author> <title> Analysis and transformation in an interactive parallel programming tool. </title> <journal> Concurrency: Practice & Experience, </journal> <volume> 5(7): </volume> <pages> 575--602, </pages> <date> October 1993. </date>
+<author> McNamee, D. and Armstrong, K. </author> <title>  Extending the Mach External Pager Interface to Accommodate User-Level Page Replacement Policies. </title> <booktitle> In Proceedings of the USENIX Mach Symposium, </booktitle> <pages> pages 17--29, </pages> <location> Burlington, VT, </location> <date> October 1990. </date>
+<author> S.N. Patnaik and R.H. Gallagher, </author> <title> Gradients of Behaviour Constraints and Reanalysis via the Integrated Force Method, </title> <journal> Int. J. Numer. Meth. Engrg., </journal> <volume> 23, </volume> <pages> 2205–2212 </pages> <date> (Dec. 1986). </date>
+<author> D. E. Whitney, </author> <title> “Force feedback control of manipulator fine motions,” </title> <journal> ASME J. Dyn. Syst. Meas. Contr., </journal> <volume> vol. 99, no. 2, </volume> <pages> pp. 91–97, </pages> <date> 1977. </date>
+<author> M. H. Chen, A. P. Mathur, and V. J. Rego, </author> <title> "Effect of testing techniques on software reliability estimates obtained using time-domain models," </title> <journal> IEEE transactions on reliability, </journal> <volume> 44(1), </volume> <date> March 1995. </date>
+<author> Li, Y., Gong, S., and Liddell, H. </author> <date> 2000a. </date> <title> Recognising the dynamics of faces across multiple views. </title> <booktitle> In British Machine Vision Conference, </booktitle> <location> Bristol, UK, </location> <pages> pp. 242–251. </pages>
+<author> G. Banavar, J. Beck, E. Gluzberg, J. Munson, J. Sussman and D. Zukowski, </author> <title> Challenges: An application model for pervasive computing, </title> <booktitle> in: Proc. 6th Annual International Conference on Mobile Computing and Networking (MobiCom2000), </booktitle> <location> Boston, MA </location> <date> (August 2000) </date> <pages> pp. 266–274. </pages>
+<author> Ginsberg, M. L. </author> <date> (1993). </date> <title> Dynamic backtracking, </title> <journal> Journal of Artificial Intelligence Research </journal> <volume> 1, </volume> <pages> 25-46. </pages>
+<author> Selinger, P.G. </author> <date> 1993. </date> <title> `Predictions and challenges for database systems in the year 2000'. </title> <booktitle> In Proc. Nineteenth International Conference on Very Large Databases, </booktitle> <location> Dublin, Ireland. </location> <publisher> Morgan Kaufmann, </publisher> <location> Palo Alto, CA. </location> <pages> 667-675. </pages>
+<author> M. Grossglauser and D. Tse </author> <title> Analysis, Modeling and Generation of Self-Similar VBR Video Traffic., </title> <booktitle> Proc. ACM SIGCOMM '97, </booktitle> <pages> pages 237-248, </pages> <date> 1997 </date>
+<author> Watkins, C. J. C. H. </author> <date> (1989). </date> <title> Learning from delayed rewards. </title> <tech> PhD thesis, </tech> <institution> Cambridge University, </institution> <location> Cambridge, England. </location>
+<author> P. Golle, J. Staddon, and B. Waters. </author> <title> Secure conjunctive keyword search over encrypted data. </title> <booktitle> In Proceedings of ACNS, </booktitle> <pages> pages 31–45. </pages> <publisher> Springer-Verlag; </publisher> <journal> Lecture Notes in Computer Science </journal> <volume> 3089, </volume> <date> 2004. </date>
+<author> R. Seifert. </author> <title> The Switch Book. The complete Guide to LAN Switching Technology. </title> <publisher> Jonh Wiley & Sons, Inc., </publisher> <date> 2000. </date>
+<author> Jacobson, I.; Griss, M.; Jonsson. P.; </author> <title> Software Reuse: Architecture, Process and Organisation for Business Success; </title> <publisher> ACM Press Addison Wesley Longman; </publisher> <date> 1997. </date>
+<author> Ashenfelter, O. and C. Rouse. </author> <date> 2000. </date> <title> Schooling, intelligence and income in America. </title> <editor> In K. Arrow, S. Bowles, and S. Durlauf, eds. </editor> <booktitle> Meritocracy and economic inequality. </booktitle> <location> Princeton: </location> <publisher> Princeton University Press. </publisher>
+<author> S. Schmitt, R. Bergmann. </author> <title> Product Customization in an Electronic Commerce Environment using Adaptation Operators. </title> <date> 1999. </date> <booktitle> Proceedings of the 7th German Workshop on Case-Based Reasoning, GWCBR'99, </booktitle> <location> in Wrzburg, </location> <date> March 3-5, 1999. </date>
+<author> RB Doorenbos, O Etzioni, and DS Weld. </author> <title> A scalable comparison-shopping agent for the World-Wide Web. </title> <booktitle> In Proceedings of the First International Conference on Autonomous Agents, </booktitle> <pages> pages 39–48, </pages> <date> 1997. </date>
+<author> P. Gardenfors and D. Makinson, </author> <title> `Revision of knowledge systems using epistemic entrenchment', </title> <booktitle> in Proc. TARK-88, </booktitle> <location> Asilomar, CA, </location> <date> (1988). </date>
+<author> M. Yang and L. M. Ni, </author> <title> "Incremental design of scalable interconnection networks using basic building blocks," </title> <booktitle> Symposium of Parallel and Distributed Processing, </booktitle> <pages> pp. 252 -- 259, </pages> <date> Oct. 1995. </date>
+<author> Bacon J, Moody K, Bates J, Hayton R, Ma C, McNeil A, Seidel O, Spiteri M: </author> <title> ‘Generic support for distributed applications’, </title> <journal> IEEE Computer, </journal> <pages> pp 68–76 </pages> <date> (March 2000) </date> <note> URL: http://www.cl.cam.ac.uk/Research/SRG/opera/publications/pre-2002.html#2000 </note>
+<author> C. Jay, M. Cole, M. Sekanina, and P. Steckler. </author> <title> A monadic calculus for parallel costing of a functional language of arrays. </title> <editor> In C. Lengauer, M. Griebl, and S. Gorlatch, editors, </editor> <booktitle> Euro-Par'97 Parallel Processing, </booktitle> <volume> volume 1300 </volume> <journal> of LNCS, </journal> <pages> pages 650-661. </pages> <publisher> Springer-Verlag, </publisher> <date> 1997. </date>
+<author> R. H. W. Hoppe and B. Wohlmuth, </author> <title> Adaptive mixed hybrid and macro-hybrid finite element methods. </title> <booktitle> In: Proc. Conf. ALGORITHMY'97 </booktitle> <location> Zuberec, West Tatra Mountains, </location> <date> September 1-5, 1995 </date> <editor> (Eds. J. Kacur and K. Mikula), </editor> <date> 1998 </date> <note> (to appear). </note>
+<author> Spreitzer, G.M., </author> <date> 1996. </date> <title> "Social Structural Characteristics of Psychological Empowerment", </title> <journal> Academy of Management Journal, </journal> <volume> Vol. 39, </volume> <pages> pp.483—504. </pages>
+<author> D. H. Ping, K. Hono, H. Kanekiyo, and S. Hirosawa, </author> <title> Mechanism of grain size refinement of Fe 3B/Nd 2Fe 14B nanocomposite permanent magnet by Cu addition, </title> <journal> J. Appl. Phys. </journal> <date> (1999), </date> <note> in press. </note>