1. Title: Density Estimation        ID: oai:CiteSeerPSU:140002        Dump No: 15

  2. Title: Composite Security Boundary Visualization        ID: oai:CiteSeerPSU:140004        Dump No: 15

  3. Title: Anonymous Internet Mercantile Protocol        ID: oai:CiteSeerPSU:140005        Dump No: 15

  4. Title: Acquisition of Search Knowledge        ID: oai:CiteSeerPSU:140010        Dump No: 15

  5. Title: Tool Support for Object-Oriented Patterns        ID: oai:CiteSeerPSU:140027        Dump No: 15

  6. Title: Effect of Environmental Structure on Evolutionary Adaptation        ID: oai:CiteSeerPSU:140029        Dump No: 15

  7. Title: Parallel Classification by Feature Partitioning        ID: oai:CiteSeerPSU:140035        Dump No: 15

  8. Title: Fast Lighting Independent Background Subtraction        ID: oai:CiteSeerPSU:140040        Dump No: 15

  9. Title: Matrices connected with Brauer's centralizer algebras        ID: oai:CiteSeerPSU:140048        Dump No: 15

  10. Title: Spaces Of Rank-2 Matrices Over Gf(2)        ID: oai:CiteSeerPSU:140049        Dump No: 15

  11. Title: Network Information Criterion - Determining the Number of Hidden Units for an Artificial Neural Network Model        ID: oai:CiteSeerPSU:140051        Dump No: 15

  12. Title: Knowledge Interchange Format: The KIF of Death        ID: oai:CiteSeerPSU:140056        Dump No: 15

  13. Title: ___________________________        ID: oai:CiteSeerPSU:140064        Dump No: 15

  14. Title: DataSplash        ID: oai:CiteSeerPSU:140080        Dump No: 15

  15. Title: Fast, Effective Code Generation in a Just-In-Time Java Compiler        ID: oai:CiteSeerPSU:140083        Dump No: 15

  16. Title: Learning Motor Skills by Imitation        ID: oai:CiteSeerPSU:140084        Dump No: 15

  17. Title: Euler Sums and Contour Integral Representations        ID: oai:CiteSeerPSU:140093        Dump No: 15

  18. Title: A Deterministic Notation for Cooperating Processes        ID: oai:CiteSeerPSU:140094        Dump No: 15

  19. Title: Reinforcement Learning for. . .        ID: oai:CiteSeerPSU:140107        Dump No: 15

  20. Title: Accessing Extra-Database Information: Concurrency Control And Correctness        ID: oai:CiteSeerPSU:140112        Dump No: 15

  21. Title: SR³: a Bandwidth-Reservation MAC Protocol for Multimedia Applications over All-Optical WDM Multi-Rings        ID: oai:CiteSeerPSU:140114        Dump No: 15

  22. Title: A Perspective on Multi-Agent Systems        ID: oai:CiteSeerPSU:140115        Dump No: 15

  23. Title: A New Consistency Protocol Implemented in the CAliF System        ID: oai:CiteSeerPSU:140122        Dump No: 15

  24. Title: On the Design of Chant: A Talking Threads Package        ID: oai:CiteSeerPSU:140124        Dump No: 15

  25. Title: Mark Guzdial        ID: oai:CiteSeerPSU:140128        Dump No: 15

  26. Title: CSTR Performance Limitations Due to Cooling Jacket Dynamics        ID: oai:CiteSeerPSU:140129        Dump No: 15

  27. Title: Using Gabor Filters to Measure Pattern Part Features and Relations        ID: oai:CiteSeerPSU:140142        Dump No: 15

  28. Title: Evolutionary Heuristics For The Bin Packing Problem        ID: oai:CiteSeerPSU:140152        Dump No: 15

  29. Title: An Intoductory Tutorial on Kd-Trees        ID: oai:CiteSeerPSU:140157        Dump No: 15

  30. Title: Fast, Effective Code Generation in a Just-In-Time Java Compiler        ID: oai:CiteSeerPSU:140159        Dump No: 15

  31. Title: Trilinearity of Three Perspective Views and its Associated Tensor        ID: oai:CiteSeerPSU:140160        Dump No: 15

  32. Title: A New Matrix-Free Algorithm for the Large-Scale Trust-Region Subproblem        ID: oai:CiteSeerPSU:140163        Dump No: 15

  33. Title: Search in a Learnable Spoken Language Parser        ID: oai:CiteSeerPSU:140168        Dump No: 15

  34. Title: Computer Systems Technology        ID: oai:CiteSeerPSU:140171        Dump No: 15

  35. Title: Petal: Distributed Virtual Disks        ID: oai:CiteSeerPSU:140175        Dump No: 15

  36. Title: Adding Animated Presentation Agents to the Interface        ID: oai:CiteSeerPSU:140181        Dump No: 15

  37. Title: The Java Applet Security Model: Providing Storage at a Terminal (A Lesson in Passing the Buck)        ID: oai:CiteSeerPSU:140183        Dump No: 15

  38. Title: Parallel Multigrid with ADI-like Smoothers in Two Dimensions        ID: oai:CiteSeerPSU:140185        Dump No: 15

  39. Title: Standardizing the Querying Process with SGML        ID: oai:CiteSeerPSU:140187        Dump No: 15

  40. Title: Combining Monads        ID: oai:CiteSeerPSU:140190        Dump No: 15

  41. Title: Horses and Barn Doors: Evolution of Corporate Guidelines for Internet Usage        ID: oai:CiteSeerPSU:140193        Dump No: 15

  42. Title: Logical Aspects of Surprise        ID: oai:CiteSeerPSU:140195        Dump No: 15

  43. Title: Linking Notations and Theories in a Proof Tool        ID: oai:CiteSeerPSU:140196        Dump No: 15

  44. Title: Logical Ring with ATM Block Transfer to Support Connectionless Service in ATM        ID: oai:CiteSeerPSU:140197        Dump No: 15

  45. Title: SavvySearch: A Meta-Search Engine that Learns which Search Engines to Query        ID: oai:CiteSeerPSU:140199        Dump No: 15

  46. Title: Learning Fault-tolerant Speech Parsing with SCREEN        ID: oai:CiteSeerPSU:140201        Dump No: 15

  47. Title: Journal of Graph Algorithms and Applications        ID: oai:CiteSeerPSU:140202        Dump No: 15

  48. Title: VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems        ID: oai:CiteSeerPSU:140206        Dump No: 15

  49. Title: Empirical Analysis of Overheads in Cluster Environments*        ID: oai:CiteSeerPSU:140216        Dump No: 15

  50. Title: Inductive Learning by Selection of Minimal Complexity Representations        ID: oai:CiteSeerPSU:140227        Dump No: 15

  51. Title: The Fox Project: Advanced Language Technology for Extensible Systems        ID: oai:CiteSeerPSU:140233        Dump No: 15

  52. Title: The Study of Learning Mechanisms in Unified Theories of Cognition        ID: oai:CiteSeerPSU:140235        Dump No: 15

  53. Title: Chapter 1 Modularity, Reuse and Efficiency with Message-Driven Libraries        ID: oai:CiteSeerPSU:140238        Dump No: 15

  54. Title: Compression of Image Contours Using Combinatorial Optimization        ID: oai:CiteSeerPSU:140243        Dump No: 15

  55. Title: Determining the Idle Time of a Tiling        ID: oai:CiteSeerPSU:140249        Dump No: 15

  56. Title: The Semantics Of The Geographical Database Query Languages        ID: oai:CiteSeerPSU:140251        Dump No: 15

  57. Title: A Self-Organizing Map that Learns the Semantic Similarity of Reusable Software Components        ID: oai:CiteSeerPSU:140254        Dump No: 15

  58. Title: An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors        ID: oai:CiteSeerPSU:140258        Dump No: 15

  59. Title: Michael J. Swain, Charles H. Frankel and Mei Lu        ID: oai:CiteSeerPSU:140261        Dump No: 15

  60. Title: Pumping, Cleaning and Symbolic Constraints Solving        ID: oai:CiteSeerPSU:140262        Dump No: 15

  61. Title: Syllable Detection In Read And Spontaneous Speech        ID: oai:CiteSeerPSU:140266        Dump No: 15

  62. Title: Encoding HTN Planning in Propositional Logic        ID: oai:CiteSeerPSU:140269        Dump No: 15

  63. Title: Implementation and Evaluation of Nested Task and Data Parallelism for High Performance Fortran within the ADAPTOR Compilation System        ID: oai:CiteSeerPSU:140288        Dump No: 15

  64. Title: A Computational Model of Knowledge-Intensive Learning and Problem Solving        ID: oai:CiteSeerPSU:140309        Dump No: 15

  65. Title: Methodologies for the Creation of Interactive Software        ID: oai:CiteSeerPSU:140314        Dump No: 15

  66. Title: Patient Confidentiality --- At Risk from NHS Wide Networking        ID: oai:CiteSeerPSU:140315        Dump No: 15

  67. Title: Grobner Bases and Integer Programming        ID: oai:CiteSeerPSU:140318        Dump No: 15

  68. Title: Modal Deduction in Second-Order Logic and Set Theory - II        ID: oai:CiteSeerPSU:140320        Dump No: 15

  69. Title: The Future And Applications Of Genetic Algorithms        ID: oai:CiteSeerPSU:140321        Dump No: 15

  70. Title: Measurement and Modeling of EARTH-MANNA Multithreaded Architecture        ID: oai:CiteSeerPSU:140323        Dump No: 15

  71. Title: Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies        ID: oai:CiteSeerPSU:140327        Dump No: 15

  72. Title: Thierry Hamon        ID: oai:CiteSeerPSU:140329        Dump No: 15

  73. Title: Modeling and Predicting Sunspot Activity - State Space Reconstruction + Artificial Neural Network Methods        ID: oai:CiteSeerPSU:140330        Dump No: 15

  74. Title: Calling Hell From Heaven and Heaven From Hell        ID: oai:CiteSeerPSU:140335        Dump No: 15

  75. Title: Verification of Knowledge Bases based on Containment Checking        ID: oai:CiteSeerPSU:140339        Dump No: 15

  76. Title: TREC-7 Ad-Hoc, High Precision and Filtering Experiments using PIRCS        ID: oai:CiteSeerPSU:140342        Dump No: 15

  77. Title: Universal Classical Planner: An algorithm for unifying State-space and Plan-space planning        ID: oai:CiteSeerPSU:140343        Dump No: 15

  78. Title: Inducing Concatenative Units from Machine Readable Dictionaries and Corpora for Speech Synthesis        ID: oai:CiteSeerPSU:140354        Dump No: 15

  79. Title: Automatic Selection of Split Criterion during Tree Growing Based on Node Location        ID: oai:CiteSeerPSU:140359        Dump No: 15

  80. Title: With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988        ID: oai:CiteSeerPSU:140366        Dump No: 15

  81. Title: Organizational Learning Within A Learning Classifier System        ID: oai:CiteSeerPSU:140368        Dump No: 15

  82. Title: Asymptotical Convergence Rates of Simple Evolutionary Algorithms under Factorizing Mutation Distributions        ID: oai:CiteSeerPSU:140370        Dump No: 15

  83. Title: Critical Technology, pp. 577-584 Printed in Korea, all rights reserved. ISBN-882345-04-5, $ 10.00+00 Copyright c        ID: oai:CiteSeerPSU:140377        Dump No: 15

  84. Title: Statistical Identification of Language        ID: oai:CiteSeerPSU:140384        Dump No: 15

  85. Title: Replication For Efficiency And Fault Tolerance In A Dsm System        ID: oai:CiteSeerPSU:140391        Dump No: 15

  86. Title: Parallel Computing in Paderborn: The SFB 376 "Massive Parallelism - Algorithms, Design Methods, Applications"        ID: oai:CiteSeerPSU:140400        Dump No: 15

  87. Title: Directed Crossover within Genetic Programming        ID: oai:CiteSeerPSU:140402        Dump No: 15

  88. Title: Corner Detection with Covariance Propagation        ID: oai:CiteSeerPSU:140405        Dump No: 15

  89. Title: Homology for Operator Algebras III: Partial Isometry Homotopy and Triangular Algebras        ID: oai:CiteSeerPSU:140409        Dump No: 15

  90. Title: Recognizing Text Genres with Simple Metrics Using Discriminant Analysis        ID: oai:CiteSeerPSU:140411        Dump No: 15

  91. Title: Formal Specification of Object Systems        ID: oai:CiteSeerPSU:140415        Dump No: 15

  92. Title: Mobile Robot Exploration and Map-Building with Continuous Localization        ID: oai:CiteSeerPSU:140427        Dump No: 15

  93. Title: Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions        ID: oai:CiteSeerPSU:140434        Dump No: 15

  94. Title: Disfluencies In Switchboard        ID: oai:CiteSeerPSU:140435        Dump No: 15

  95. Title: Peter Newton        ID: oai:CiteSeerPSU:140437        Dump No: 15

  96. Title: Next Cache Line and Set Prediction        ID: oai:CiteSeerPSU:140440        Dump No: 15

  97. Title: Montages/Gem-Mex: a Meta Visual Programming Generator        ID: oai:CiteSeerPSU:140443        Dump No: 15

  98. Title: Scheduling In Real-Time Transaction Systems        ID: oai:CiteSeerPSU:140444        Dump No: 15

  99. Title: -- -- Implementing Sequential Consistency In Cache-Based Systems        ID: oai:CiteSeerPSU:140448        Dump No: 15

  100. Title: Distributed Information Search and Retrieval for Astronomical Resource Discovery and Data Mining        ID: oai:CiteSeerPSU:140453        Dump No: 15

  101. Title: Propp-Wilson algorithms and finitary codings for high noise Markov random fields        ID: oai:CiteSeerPSU:140458        Dump No: 15

  102. Title: Scalability Analysis of Parallel Finite Element Methods using Performance Simulation        ID: oai:CiteSeerPSU:140486        Dump No: 15

  103. Title: Representing Information Need with Semantic Relations        ID: oai:CiteSeerPSU:140489        Dump No: 15

  104. Title: Wavelet Radiative Transfer and Surface Interaction        ID: oai:CiteSeerPSU:140535        Number of references: 4        Dump No: 15

  105. Title: Robust and Secure Password and Key Change Method        Number of references: 4        ID: oai:CiteSeerPSU:140607        Dump No: 15

  106. Title: Objectives, Strategies and Resources as Design Drivers        Number of references: 4        ID: oai:CiteSeerPSU:140683        Dump No: 15

  107. Title: Termination of Theorem Proving by Reuse        Number of references: 4        ID: oai:CiteSeerPSU:140702        Dump No: 15

  108. Title: Reverse Engineering: Why and How to Reverse Engineer Software        Number of references: 4        ID: oai:CiteSeerPSU:140717        Dump No: 15

  109. Title: Route Planning With Ordered Constraints        Number of references: 4        ID: oai:CiteSeerPSU:140729        Dump No: 15

  110. Title: Neural Network Approach To Blind Separation And Enhancement Of Images        Number of references: 4        ID: oai:CiteSeerPSU:140773        Dump No: 15

  111. Title: Syntactic Recovery and Spelling Correction of Ill-formed Sentences        Number of references: 4        ID: oai:CiteSeerPSU:140780        Dump No: 15

  112. Title: Learning Unions of Rectangles with Queries        Number of references: 4        ID: oai:CiteSeerPSU:140796        Dump No: 15

  113. Title: Optimal Odd Gossiping        Number of references: 4        ID: oai:CiteSeerPSU:140831        Dump No: 15

  114. Title: Evolutionary Algorithms for Constrained Parameter Optimization Problems        Number of references: 4        ID: oai:CiteSeerPSU:140843        Dump No: 15

  115. Title: The Intersection Exponent for Simple Random Walk        Number of references: 4        ID: oai:CiteSeerPSU:140850        Dump No: 15

  116. Title: Toward a Scalably Efficient Parallel Implementation of a Hybrid Intensional Language        Number of references: 4        ID: oai:CiteSeerPSU:140988        Dump No: 15

  117. Title: A Temporal Executable Action Language        Number of references: 4        ID: oai:CiteSeerPSU:141067        Dump No: 15

  118. Title: P-Sparslib: A Portable Library Of Distributed Memory Sparse Iterative Solvers        Number of references: 4        ID: oai:CiteSeerPSU:141073        Dump No: 15

  119. Title: The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged)        Number of references: 4        ID: oai:CiteSeerPSU:141109        Dump No: 15

  120. Title: Gaze Tracking For Multimodal Human-Computer Interaction        Number of references: 4        ID: oai:CiteSeerPSU:141301        Dump No: 15

  121. Title: A Language for the Support of Constraints in Temporal Active Databases        Number of references: 4        ID: oai:CiteSeerPSU:141310        Dump No: 15

  122. Title: Timed Petri Net Models of Multithreaded Multiprocessor Architectures        Number of references: 4        ID: oai:CiteSeerPSU:141373        Dump No: 15

  123. Title: Block Sorting and Compression        Number of references: 4        ID: oai:CiteSeerPSU:141427        Dump No: 15

  124. Title: Combinatorial Algebraic Topology for Diagrammatic Reasoning        Number of references: 4        ID: oai:CiteSeerPSU:141428        Dump No: 15

  125. Title: Sample Complexity for Learning Recurrent Perceptron Mappings        Number of references: 4        ID: oai:CiteSeerPSU:141462        Dump No: 15

  126. Title: Meta-Learning Agents for Fraud and Intrusion Detection in Financial Information Systems        Number of references: 4        ID: oai:CiteSeerPSU:141541        Dump No: 15

  127. Title: Clustering Data Without Distance Functions        Number of references: 4        ID: oai:CiteSeerPSU:141677        Dump No: 15

  128. Title: Consistent Logical Checkpointing        Number of references: 4        ID: oai:CiteSeerPSU:141772        Dump No: 15

  129. Title: A Flexible Protocol Architecture for Multi-party Conferencing        Number of references: 4        ID: oai:CiteSeerPSU:141780        Dump No: 15

  130. Title: Zero-cost Range Splitting        Number of references: 4        ID: oai:CiteSeerPSU:141800        Dump No: 15

  131. Title: Applying Inspection to Object-Oriented Software        Number of references: 4        ID: oai:CiteSeerPSU:141827        Dump No: 15

  132. Title: Updating, Transition Constraints and Possibilistic Markov Chains        Number of references: 4        ID: oai:CiteSeerPSU:141856        Dump No: 15

  133. Title: Automatic RNA Secondary Structure Determination with Stochastic Context-Free Grammars        Number of references: 4        ID: oai:CiteSeerPSU:141922        Dump No: 15

  134. Title: Hierarchical Scalable Photonic Architectures for High-Performance Processor Interconnection        Number of references: 4        ID: oai:CiteSeerPSU:141992        Dump No: 15

  135. Title: Hierarchical Duration Modelling for a Speech Recognition System        Number of references: 4        ID: oai:CiteSeerPSU:142071        Dump No: 15

  136. Title: Incorporating Diverse Information Sources in Handwriting Recognition Postprocessing        Number of references: 4        ID: oai:CiteSeerPSU:142076        Dump No: 15

  137. Title: Distributed Fault Tolerance - Lessons Learnt from Delta-4        Number of references: 4        ID: oai:CiteSeerPSU:142088        Dump No: 15

  138. Title: Fuzzy Relational Distance for Large-scale Object Recognition        Number of references: 4        ID: oai:CiteSeerPSU:142119        Dump No: 15

  139. Title: A Framework for Structural Risk Minimisation        Number of references: 4        ID: oai:CiteSeerPSU:142139        Dump No: 15

  140. Title: Digital Signatures and Public-Key Cryptography        Number of references: 4        ID: oai:CiteSeerPSU:142255        Dump No: 15

  141. Title: There's No Substitute for Linear Logic        Number of references: 4        ID: oai:CiteSeerPSU:142326        Dump No: 15

  142. Title: Visual Ordnance Recognition System Fiscal 1998 Year-End Report: Algorithms and Hardware Design        Number of references: 4        ID: oai:CiteSeerPSU:142336        Dump No: 15

  143. Title: More About the Difference Between Men and Women: Evidence From Linear Neural Networks and the Principal-Component Approach        Number of references: 4        ID: oai:CiteSeerPSU:142337        Dump No: 15

  144. Title: Recognizing Abruptly Changing Facial Expressions from Time-sequential Face Images        Number of references: 4        ID: oai:CiteSeerPSU:142376        Dump No: 15

  145. Title: Real-Time Collision Avoidance against Wrong Drivers: Differential Game Approach, Numerical Solution and Synthesis of Strategies with Neural Networks        Number of references: 4        ID: oai:CiteSeerPSU:142500        Dump No: 15

  146. Title: Bounds on the Sample Complexity of Bayesian Learning Using Information Theory and the VC Dimension        Number of references: 4        ID: oai:CiteSeerPSU:142690        Dump No: 15

  147. Title: Boundary Detection by Contextual Nonlinear Smoothing        Number of references: 4        ID: oai:CiteSeerPSU:142721        Dump No: 15

  148. Title: Temporal Reasoning with Constraint Handling Rules        Number of references: 4        ID: oai:CiteSeerPSU:142799        Dump No: 15

  149. Title: Experiences with an Architecture for Intelligent, Reactive Agents        Number of references: 4        ID: oai:CiteSeerPSU:142928        Dump No: 15

  150. Title: Social Interactions of Autonomous Agents; Private and Global Views on Communication        Number of references: 4        ID: oai:CiteSeerPSU:142941        Dump No: 15

  151. Title: A Parallel Genetic Algorithm for the Set Partitioning Problem        Number of references: 4        ID: oai:CiteSeerPSU:142964        Dump No: 15

  152. Title: Network-aware Mobile Programs        Number of references: 4        ID: oai:CiteSeerPSU:143032        Dump No: 15

  153. Title: Modeling Probabilistic Actions for Practical Decision-Theoretic Planning        Number of references: 4        ID: oai:CiteSeerPSU:143035        Dump No: 15

  154. Title: Modelling Moving Objects in Multimedia Databases        Number of references: 4        ID: oai:CiteSeerPSU:143251        Dump No: 15

  155. Title: Characterizing the Structures of Cryptographic Functions Satisfying the Propagation Criterion for Almost All Vectors        Number of references: 4        ID: oai:CiteSeerPSU:143345        Dump No: 15

  156. Title: Pertinence Logic for Reasoning about Actions and Change        Number of references: 4        ID: oai:CiteSeerPSU:143366        Dump No: 15

  157. Title: SPACE: A New Approach to Operating System Abstraction        Number of references: 4        ID: oai:CiteSeerPSU:143500        Dump No: 15

  158. Title: Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches        Number of references: 4        ID: oai:CiteSeerPSU:143609        Dump No: 15

  159. Title: Software Support for Parallel Structured Adaptive Mesh Methods        Number of references: 4        ID: oai:CiteSeerPSU:143617        Dump No: 15

  160. Title: Activities: Abstractions for Collective Behavior        Number of references: 4        ID: oai:CiteSeerPSU:143676        Dump No: 15

  161. Title: SCI and the Scalable Cluster Architecture Latency-hiding Environment (SCALE) Project        Number of references: 4        ID: oai:CiteSeerPSU:143725        Dump No: 15

  162. Title: Tight upper bounds for cell loss probabilities and required bandwidth estimation in ATM multiplexers        Number of references: 4        ID: oai:CiteSeerPSU:143729        Dump No: 15

  163. Title: A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories        Number of references: 4        ID: oai:CiteSeerPSU:143944        Dump No: 15

  164. Title: Construction of Problem-Solving Methods as Parametric Design        Number of references: 4        ID: oai:CiteSeerPSU:144055        Dump No: 15

  165. Title: Memory Allocation Constructs to Complement NUMA Memory Management        Number of references: 4        ID: oai:CiteSeerPSU:144228        Dump No: 15

  166. Title: Compositional Parallel Programming Languages        Number of references: 4        ID: oai:CiteSeerPSU:144260        Dump No: 15

  167. Title: Data Summarization in Relational Databases Through Fuzzy Dependencies        Number of references: 4        ID: oai:CiteSeerPSU:144268        Dump No: 15

  168. Title: Part Segmentation from 2D Edge Images by the MDL Criterion        Number of references: 4        ID: oai:CiteSeerPSU:144329        Dump No: 15

  169. Title: Systematic Exploitation of Parallelism in Spatial Interaction Modelling        Number of references: 4        ID: oai:CiteSeerPSU:144358        Dump No: 15

  170. Title: Tau Net: A Neural Network for Modeling Temporal Variability        Number of references: 4        ID: oai:CiteSeerPSU:144361        Dump No: 15

  171. Title: Meander Language and System - Overview        Number of references: 4        ID: oai:CiteSeerPSU:144443        Dump No: 15

  172. Title: Multi-objective Optimisation and Preliminary Airframe Design        Number of references: 4        ID: oai:CiteSeerPSU:144489        Dump No: 15

  173. Title: Towards a Dialogue Taxonomy        Number of references: 4        ID: oai:CiteSeerPSU:144494        Dump No: 15

  174. Title: Relationships between Models of Concurrency        Number of references: 4        ID: oai:CiteSeerPSU:144588        Dump No: 15

  175. Title: A programming Methodology for Disconnected Operation        Number of references: 4        ID: oai:CiteSeerPSU:144616        Dump No: 15

  176. Title: Co-Operating Scheduling Systems Communicating Through Fuzzy Sets        Number of references: 4        ID: oai:CiteSeerPSU:144639        Dump No: 15

  177. Title: Hashed and Hierarchical Timing Wheels: Efficient Data Structures for Implementing a Timer Facility        Number of references: 4        ID: oai:CiteSeerPSU:144652        Dump No: 15

  178. Title: The Role of Topographical Constraints in Face Recognition        Number of references: 4        ID: oai:CiteSeerPSU:144675        Dump No: 15

  179. Title: Concurrency Control in Distributed Object-Oriented Database Systems        Number of references: 4        ID: oai:CiteSeerPSU:144690        Dump No: 15

  180. Title: CAIS: Collaborative Asynchronous Inspection of Software        Number of references: 4        ID: oai:CiteSeerPSU:144773        Dump No: 15

  181. Title: Computing the Angularity Tolerance        Number of references: 4        ID: oai:CiteSeerPSU:144795        Dump No: 15

  182. Title: Modular Semantic Specifications to Interpreter Implementation in        Number of references: 4        ID: oai:CiteSeerPSU:144817        Dump No: 15

  183. Title: Life-Cycle Inheritance: A Petri-Net-Based Approach        Number of references: 4        ID: oai:CiteSeerPSU:144825        Dump No: 15

  184. Title: The HERON Project - Multimedia Database Support for History and Human Sciences        Number of references: 4        ID: oai:CiteSeerPSU:144836        Dump No: 15

  185. Title: A comparison of some schemes for translating logic to C.        Number of references: 4        ID: oai:CiteSeerPSU:144877        Dump No: 15

  186. Title: Hardware Supported Simulation System for Graph Based and 3D Cellular Processing        Number of references: 4        ID: oai:CiteSeerPSU:144893        Dump No: 15

  187. Title: Programming Frames for the Efficient Use of Parallel Systems        Number of references: 4        ID: oai:CiteSeerPSU:144894        Dump No: 15

  188. Title: ADIFOR: A Fortran System For Portable Automatic Differentiation        Number of references: 4        ID: oai:CiteSeerPSU:144929        Dump No: 15

  189. Title: A Message-Driven Programming System for Fine-Grain Multicomputers        Number of references: 4        ID: oai:CiteSeerPSU:144957        Dump No: 15

  190. Title: Towards a Model of Context for Case-Based Diagnostic Problem Solving        Number of references: 4        ID: oai:CiteSeerPSU:144959        Dump No: 15

  191. Title: Parallel Approaches to Real-Time MPEG Video Compression        Number of references: 4        ID: oai:CiteSeerPSU:144961        Dump No: 15

  192. Title: Algernon - A Tractable System for Knowledge-Representation        Number of references: 4        ID: oai:CiteSeerPSU:145116        Dump No: 15

  193. Title: A Hybrid Genetic Algorithm For The Channel Routing Problem        Number of references: 4        ID: oai:CiteSeerPSU:145254        Dump No: 15

  194. Title: Unsupervised Learning of Probabilistic Models for Robot Navigation        Number of references: 4        ID: oai:CiteSeerPSU:145318        Dump No: 15

  195. Title: Resource-Based Communication Placement Analysis        Number of references: 4        ID: oai:CiteSeerPSU:145328        Dump No: 15

  196. Title: Understanding the Sources of Variation in Software Inspections        Number of references: 4        ID: oai:CiteSeerPSU:145340        Dump No: 15

  197. Title: Explaining Subsumption in Description Logics        Number of references: 4        ID: oai:CiteSeerPSU:145342        Dump No: 15

  198. Title: Evaluating Spatial and Textual Style of Displays        Number of references: 4        ID: oai:CiteSeerPSU:147070        Dump No: 15

  199. Title: A Unified Approach Towards Text Recognition        Number of references: 4        ID: oai:CiteSeerPSU:147109        Dump No: 15

  200. Title: Memory-based Stochastic Optimization        Number of references: 4        ID: oai:CiteSeerPSU:147164        Dump No: 15

  201. Title: Promotional Transformation of Monadic Programs        Number of references: 8        ID: oai:CiteSeerPSU:147178        Dump No: 15

  202. Title: Path Coloring on the Mesh        Number of references: 8        ID: oai:CiteSeerPSU:147205        Dump No: 15

  203. Title: Defining and Validating Measures for Object-Based High-Level Design        Number of references: 8        ID: oai:CiteSeerPSU:147579        Dump No: 15

  204. Title: Qualitative Decision Support using Prioritised Soft Constraints        Number of references: 8        ID: oai:CiteSeerPSU:147635        Dump No: 15

  205. Title: Multigame - A Very High Level Language for Describing Board Games        Number of references: 8        ID: oai:CiteSeerPSU:147727        Dump No: 15

  206. Title: : A parallel model for coarse-grained machines        Number of references: 8        ID: oai:CiteSeerPSU:147792        Dump No: 15

  207. Title: Trade-offs between Message Delivery and Quiesce Times in Connection Management Protocols        Number of references: 8        ID: oai:CiteSeerPSU:148064        Dump No: 15

  208. Title: Object-Oriented Parallel Discrete Event Simulation        Number of references: 8        ID: oai:CiteSeerPSU:148361        Dump No: 15

  209. Title: Benchmarking Implementations of Lazy Functional Languages        Number of references: 8        ID: oai:CiteSeerPSU:148395        Dump No: 15

  210. Title: An Efficient Logging Scheme for Lazy Release Consistent Distributed Shared Memory Systems        Number of references: 8        ID: oai:CiteSeerPSU:148404        Dump No: 15

  211. Title: Binary Space Partitions for Fat Rectangles        Number of references: 8        ID: oai:CiteSeerPSU:148425        Dump No: 15

  212. Title: HFS: A Flexible File System for large-scale Multiprocessors        Number of references: 8        ID: oai:CiteSeerPSU:148557        Dump No: 15

  213. Title: Supporting IP Multicast for Mobile Hosts        Number of references: 8        ID: oai:CiteSeerPSU:148843        Dump No: 15

  214. Title: Experience-Based Creativity        Number of references: 8        ID: oai:CiteSeerPSU:148934        Dump No: 15

  215. Title: The Use of Information Retrieval Techniques for Intrusion Detection        Number of references: 8        ID: oai:CiteSeerPSU:149044        Dump No: 15

  216. Title: A Survey of Reverse Engineering and Program Comprehension        Number of references: 8        ID: oai:CiteSeerPSU:149280        Dump No: 15

  217. Title: Off-line Constraint Propagation for Efficient HPSG Processing        Number of references: 8        ID: oai:CiteSeerPSU:149385        Dump No: 15

  218. Title: Advanced Computing Research Institute Theory Center Cornell University Semi-annual Research Activity Report April 1992 - September 1992        Number of references: 8        ID: oai:CiteSeerPSU:149433        Dump No: 15

  219. Title: What Defaults can do that Hierarchies Can't        Number of references: 8        ID: oai:CiteSeerPSU:149739        Dump No: 15

  220. Title: A Fast Algorithm for Reconstructing Motion Compensated Blocks in Compressed Domain        Number of references: 8        ID: oai:CiteSeerPSU:149859        Dump No: 15

  221. Title: Cardboard People: A Parameterized Model of Articulated Image Motion        Number of references: 8        ID: oai:CiteSeerPSU:149902        Dump No: 15

  222. Title: The Utility of Exploiting Idle Workstations for Parallel Computation        Number of references: 8        ID: oai:CiteSeerPSU:149908        Dump No: 15

  223. Title: Adaptive Reconstruction of Surfaces and Scalar Fields from Dense Scattered Trivariate Data        Number of references: 8        ID: oai:CiteSeerPSU:150215        Dump No: 16

  224. Title: Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization        Number of references: 8        ID: oai:CiteSeerPSU:150259        Dump No: 16

  225. Title: Towards a Mathematical Operational Semantics        Number of references: 8        ID: oai:CiteSeerPSU:150326        Dump No: 16

  226. Title: A Unified Formalization of Four Shared-Memory Models        Number of references: 8        ID: oai:CiteSeerPSU:150353        Dump No: 16

  227. Title: On non-pseudorandomness from block ciphers with provable immunity against linear cryptanalysis (Revised Manuscript)        Number of references: 8        ID: oai:CiteSeerPSU:150367        Dump No: 16

  228. Title: Guaranteeing End-to-End Deadlines in ATM Networks        Number of references: 8        ID: oai:CiteSeerPSU:150552        Dump No: 16

  229. Title: A Two-Layer Neural Network For Robust Image Segmentation And Its Application In Revising Hydrographic Features        Number of references: 8        ID: oai:CiteSeerPSU:150653        Dump No: 16

  230. Title: Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop        Number of references: 8        ID: oai:CiteSeerPSU:150756        Dump No: 16

  231. Title: An Evaluation of TCP Vegas by Live Emulation        Number of references: 8        ID: oai:CiteSeerPSU:150794        Dump No: 16

  232. Title: Spatiotemporal Video Modelling for Content Summarization        Number of references: 8        ID: oai:CiteSeerPSU:151206        Dump No: 16

  233. Title: Global Minimum for Active Contour Models: A Minimal Path Approach        Number of references: 8        ID: oai:CiteSeerPSU:151221        Dump No: 16

  234. Title: Efficient Agnostic Learning of Neural Networks with Bounded Fan-in        Number of references: 8        ID: oai:CiteSeerPSU:151258        Dump No: 16

  235. Title: A High Accuracy Volume Renderer for Unstructured Data        Number of references: 8        ID: oai:CiteSeerPSU:151484        Dump No: 16

  236. Title: Resource Access Control in Systems of Mobile Agents (Extended Abstract)        Number of references: 8        ID: oai:CiteSeerPSU:151565        Dump No: 16

  237. Title: Locating P/poly Optimally in the Extended Low Hierarchy        Number of references: 8        ID: oai:CiteSeerPSU:151685        Dump No: 16

  238. Title: Rodney Van Meter        Number of references: 8        ID: oai:CiteSeerPSU:151691        Dump No: 16

  239. Title: Postponing the Evaluation of Attributes with a High Number of Boundary Points        Number of references: 8        ID: oai:CiteSeerPSU:151814        Dump No: 16

  240. Title: Program Timing Analysis        Number of references: 8        ID: oai:CiteSeerPSU:152224        Dump No: 16

  241. Title: A Flexible Model Supporting the Specification and Enforcement of Role-based Authorizations in Workflow Management Systems        Number of references: 8        ID: oai:CiteSeerPSU:152324        Dump No: 16

  242. Title: An Open Interface for Probabilistic Models of Text        Number of references: 8        ID: oai:CiteSeerPSU:152415        Dump No: 16

  243. Title: Using Links for Classifying Web-pages        Number of references: 8        ID: oai:CiteSeerPSU:153148        Dump No: 16

  244. Title: Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs        Number of references: 8        ID: oai:CiteSeerPSU:153176        Dump No: 16

  245. Title: Process Modelling Languages: One or Many?        Number of references: 8        ID: oai:CiteSeerPSU:153202        Dump No: 16

  246. Title: Utterance Units in Spoken Dialogue        Number of references: 8        ID: oai:CiteSeerPSU:153271        Dump No: 16

  247. Title: Vienna-Fortran/HPF Extensions for Sparse and Irregular Problems and Their Compilation        Number of references: 8        ID: oai:CiteSeerPSU:153348        Dump No: 16

  248. Title: Functional Dependencies for Object Databases: Motivation and Axiomatization        Number of references: 8        ID: oai:CiteSeerPSU:153639        Dump No: 16

  249. Title: A Study of Reservation Dynamics in Integrated Services Packet Networks        Number of references: 8        ID: oai:CiteSeerPSU:160092        Dump No: 17

  250. Title: Signatures: A C++ Extension for Type Abstraction and Subtype Polymorphism        Number of references: 8        ID: oai:CiteSeerPSU:160252        Dump No: 17

  251. Title: Action-Based Concurrency and Synchronization for Objects        Number of references: 8        ID: oai:CiteSeerPSU:160278        Dump No: 17

  252. Title: Communication in Reactive Multiagent Robotic Systems        Number of references: 8        ID: oai:CiteSeerPSU:160314        Dump No: 17

  253. Title: Semantic Transfer in Speech-to-Speech MT        Number of references: 8        ID: oai:CiteSeerPSU:160353        Dump No: 17

  254. Title: 2D-Pattern Matching Image and Video Compression: Theory, Algorithms, and Experiments        Number of references: 8        ID: oai:CiteSeerPSU:160365        Dump No: 17

  255. Title: ViC*: A Compiler for Virtual-Memory C*        Number of references: 8        ID: oai:CiteSeerPSU:160404        Dump No: 17

  256. Title: A Natural Language Parser With Interleaved Spelling Correction Supporting Lexical Functional Grammar And Ill-Formed Input        Number of references: 8        ID: oai:CiteSeerPSU:160412        Dump No: 17

  257. Title: Fast computation of the covariance of MAP reconstructions of PET images        Number of references: 8        ID: oai:CiteSeerPSU:160517        Dump No: 17

  258. Title: Hypothetical Reasoning About Actions: From Situation Calculus To Event Calculus        Number of references: 8        ID: oai:CiteSeerPSU:160520        Dump No: 17

  259. Title: Efficiency Tradeoffs for Language and Action in Collaborative Tasks        Number of references: 8        ID: oai:CiteSeerPSU:160541        Dump No: 17

  260. Title: On Effective Data Supply For Multi-Issue Processors        Number of references: 8        ID: oai:CiteSeerPSU:160553        Dump No: 17

  261. Title: Maintaining Transitive Closure of Graphs in SQL        Number of references: 8        ID: oai:CiteSeerPSU:160586        Dump No: 17

  262. Title: Modelling Interaction in Virtual Environments        Number of references: 8        ID: oai:CiteSeerPSU:160716        Dump No: 17

  263. Title: Data Access Reorganizations in Compiling Out-of-core Data Parallel Programs on Distributed Memory Machines        Number of references: 8        ID: oai:CiteSeerPSU:160724        Dump No: 17

  264. Title: A Taxonomy for Stereo Computer Vision Experiments        Number of references: 8        ID: oai:CiteSeerPSU:160790        Dump No: 17

  265. Title: Querying the World Wide Web        Number of references: 8        ID: oai:CiteSeerPSU:161194        Dump No: 17

  266. Title: Adaptively Preconditioned Gmres Algorithms        Number of references: 8        ID: oai:CiteSeerPSU:161210        Dump No: 17

  267. Title: A Portable Run-Time System for the SR Concurrent Programming Language        Number of references: 8        ID: oai:CiteSeerPSU:161231        Dump No: 17

  268. Title: xFS: A Wide Area Mass Storage File System        Number of references: 8        ID: oai:CiteSeerPSU:161339        Dump No: 17

  269. Title: Specification of Real-Time Interaction Constraints        Number of references: 8        ID: oai:CiteSeerPSU:161497        Dump No: 17

  270. Title: Advanced Primitives for Changing Schemas of Object Databases        Number of references: 8        ID: oai:CiteSeerPSU:161657        Dump No: 17

  271. Title: Classes = Objects + Data Abstraction        Number of references: 8        ID: oai:CiteSeerPSU:161666        Dump No: 17

  272. Title: Learning Organizational Roles in a Heterogeneous Multi-agent System        Number of references: 8        ID: oai:CiteSeerPSU:161710        Dump No: 17

  273. Title: Applications of Abduction #2: Knowledge-Level Modeling        Number of references: 8        ID: oai:CiteSeerPSU:161754        Dump No: 17

  274. Title: Domain-Dependent Single-Agent Search Enhancements        Number of references: 8        ID: oai:CiteSeerPSU:161985        Dump No: 17

  275. Title: Exploiting Spatial, Ray, and Frame Coherency for Efficient Parallel Volume Rendering        Number of references: 8        ID: oai:CiteSeerPSU:162028        Dump No: 17

  276. Title: Optimal Purely Functional Priority Queues        Number of references: 8        ID: oai:CiteSeerPSU:162069        Dump No: 17

  277. Title: Efficient Routing in All-Optical Networks        Number of references: 8        ID: oai:CiteSeerPSU:162416        Dump No: 17

  278. Title: Cooperating Agents for Information Retrieval        Number of references: 8        ID: oai:CiteSeerPSU:162605        Dump No: 17

  279. Title: Reflective Authorization Systems        Number of references: 8        ID: oai:CiteSeerPSU:162707        Dump No: 17

  280. Title: A Load Profiling Approach to Routing Guaranteed Bandwidth Flows        Number of references: 8        ID: oai:CiteSeerPSU:162709        Dump No: 17

  281. Title: Computational Genefinding        Number of references: 8        ID: oai:CiteSeerPSU:162765        Dump No: 17

  282. Title: Rolling Back in a Selective Way - An Approach to Recovery for Interactive and Long-Running Transactions        Number of references: 8        ID: oai:CiteSeerPSU:162807        Dump No: 17

  283. Title: Parallel Processing on Networks of Workstations: A Fault-Tolerant, High Performance Approach        Number of references: 8        ID: oai:CiteSeerPSU:163075        Dump No: 17

  284. Title: A Cost Model For Asynchronous and Structured Message Passing (Extended Version)        Number of references: 8        ID: oai:CiteSeerPSU:163080        Dump No: 17

  285. Title: Immersive Visualization of Supercomputer Applications: A Survey of Lag Models        Number of references: 8        ID: oai:CiteSeerPSU:163350        Dump No: 17

  286. Title: A CBR Integration From Inception to Productization        Number of references: 8        ID: oai:CiteSeerPSU:163517        Dump No: 17

  287. Title: An Architecture for A Scalable Wide Area Distributed System        Number of references: 8        ID: oai:CiteSeerPSU:163600        Dump No: 17

  288. Title: Towards Exploiting Generic Procedures in Model-Based Computing        Number of references: 8        ID: oai:CiteSeerPSU:163759        Dump No: 17

  289. Title: Distance Routing: a New Compact Routing Technique on Series Parallel Networks        Number of references: 8        ID: oai:CiteSeerPSU:163910        Dump No: 17

  290. Title: Investigation of the use of Neural Networks for Computerised Medical Image Analysis        Number of references: 8        ID: oai:CiteSeerPSU:164132        Dump No: 17

  291. Title: Safe Dynamic Linking in an Extensible Operating System        Number of references: 8        ID: oai:CiteSeerPSU:164457        Dump No: 17

  292. Title: Use Case Maps for Engineering Real Time and Distributed Computer . . .        Number of references: 8        ID: oai:CiteSeerPSU:164743        Dump No: 17

  293. Title: A Multistrategy Learning System for Planning Operator Acquisition        Number of references: 8        ID: oai:CiteSeerPSU:165092        Dump No: 17

  294. Title: The `Environmental Puppeteer' Revisited: A Connectionist Perspective on `Autonomy'        Number of references: 8        ID: oai:CiteSeerPSU:165095        Dump No: 17

  295. Title: Decoding Neuronal Firing And Modeling Neural Networks        Number of references: 8        ID: oai:CiteSeerPSU:165103        Dump No: 17

  296. Title: Termination of Well-Moded Programs        Number of references: 8        ID: oai:CiteSeerPSU:165437        Dump No: 17

  297. Title: A Framework for Design and Evaluation of Admission Control Algorithms in Multi-Service Mobile Networks        Number of references: 8        ID: oai:CiteSeerPSU:165599        Dump No: 17

  298. Title: Towards a Framework for Memory-Based Reasoning        Number of references: 8        ID: oai:CiteSeerPSU:165735        Dump No: 17

  299. Title: Design of the Remote Agent Experiment for Spacecraft Autonomy        Number of references: 8        ID: oai:CiteSeerPSU:165799        Dump No: 17

  300. Title: Designing Human-Like Minds        Number of references: 8        ID: oai:CiteSeerPSU:165865        Dump No: 17

  301. Title: Steps Toward Formalizing Context        Number of references: 16        ID: oai:CiteSeerPSU:165993        Dump No: 17

  302. Title: Learning Team Strategies: Soccer Case Studies        Number of references: 16        ID: oai:CiteSeerPSU:166643        Dump No: 17

  303. Title: Adaptive Signal Models: Theory, Algorithms, and Audio Applications        Number of references: 16        ID: oai:CiteSeerPSU:167411        Dump No: 17

  304. Title: Enhancements to 4.4 BSD UNIX for Efficient Networked Multimedia in Project MARS        Number of references: 16        ID: oai:CiteSeerPSU:167648        Dump No: 17

  305. Title: How Much Does Network Contention Affect Distributed Shared Memory Performance?        Number of references: 16        ID: oai:CiteSeerPSU:167758        Dump No: 17

  306. Title: On Providing Support for Protocol Adaptation in Mobile Wireless Networks        Number of references: 16        ID: oai:CiteSeerPSU:167874        Dump No: 17

  307. Title: Information Theory and Communication Networks: an Unconsummated Union        Number of references: 16        ID: oai:CiteSeerPSU:168132        Dump No: 17

  308. Title: Stochastic Partial Differential Equations: Selected Applications In Continuum Physics        Number of references: 16        ID: oai:CiteSeerPSU:168192        Dump No: 17

  309. Title: A Modular Measure of Competitive Performance for Distributed Algorithms        Number of references: 16        ID: oai:CiteSeerPSU:168500        Dump No: 17

  310. Title: Full Lifting of Type Parameters        Number of references: 16        ID: oai:CiteSeerPSU:169350        Dump No: 17

  311. Title: A Comparison of Prediction Accuracy, Complexity, and Training Time of Thirty-three Old and New Classification Algorithms        Number of references: 16        ID: oai:CiteSeerPSU:169859        Dump No: 17

  312. Title: Graph Structured Views and Their Incremental Maintenance        Number of references: 16        ID: oai:CiteSeerPSU:170448        Dump No: 18

  313. Title: Uncalibrated Euclidean Reconstruction: A Review        Number of references: 16        ID: oai:CiteSeerPSU:174783        Dump No: 18

  314. Title: Processor-Core Based Design and Test        Number of references: 16        ID: oai:CiteSeerPSU:184093        Dump No: 19

  315. Title: Dependence Based Prefetching for Linked Data Structures        Number of references: 16        ID: oai:CiteSeerPSU:186960        Dump No: 19

  316. Title: State-space Planning by Integer Optimization        Number of references: 16        ID: oai:CiteSeerPSU:187838        Dump No: 19

  317. Title: Recent Advances in Feature Extraction and Acoustic Modeling for Automatic Speech Recognition        Number of references: 16        ID: oai:CiteSeerPSU:188150        Dump No: 19

  318. Title: Neural Network Based Systems for Handprint OCR Applications        Number of references: 16        ID: oai:CiteSeerPSU:191244        Dump No: 20

  319. Title: Comparison of generalized Hebbian rules for long-term synaptic plasticity        Number of references: 16        ID: oai:CiteSeerPSU:194303        Dump No: 20

  320. Title: Identifying Objects by Declarative Queries        Number of references: 16        ID: oai:CiteSeerPSU:196420        Dump No: 20

  321. Title: Learning Control of Complex Skills        Number of references: 16        ID: oai:CiteSeerPSU:197776        Dump No: 20

  322. Title: Edgebreaker: Connectivity compression for triangle meshes        Number of references: 16        ID: oai:CiteSeerPSU:198173        Dump No: 20

  323. Title: Biting: Advancing Front Meets Sphere Packing        Number of references: 16        ID: oai:CiteSeerPSU:205012        Dump No: 21

  324. Title: Main Research Contributions        Number of references: 16        ID: oai:CiteSeerPSU:206896        Dump No: 21

  325. Title: Wavelet Families Of Increasing Order In Arbitrary Dimensions        Number of references: 16        ID: oai:CiteSeerPSU:207908        Dump No: 21

  326. Title: A Cluster-Based Statistical Model for Object Detection        Number of references: 16        ID: oai:CiteSeerPSU:208281        Dump No: 21

  327. Title: A Configurable System for the Construction of Adaptive Virtual Stores        Number of references: 16        ID: oai:CiteSeerPSU:209232        Dump No: 21

  328. Title: A Hybrid Symbolic Subsymbolic Controller for Complex Dynamical Systems        Number of references: 16        ID: oai:CiteSeerPSU:210711        Dump No: 22

  329. Title: Incremental Scheduling of Mixed Workloads in Multimedia Information Servers        Number of references: 16        ID: oai:CiteSeerPSU:211991        Dump No: 22

  330. Title: Many-Valued First-Order Logics with Probabilistic Semantics        Number of references: 16        ID: oai:CiteSeerPSU:212070        Dump No: 22

  331. Title: Extension of Fill's perfect rejection sampling algorithm to general chains (Extended Abstract)        Number of references: 16        ID: oai:CiteSeerPSU:221130        Dump No: 23

  332. Title: Memory-Based Shallow Parsing        Number of references: 16        ID: oai:CiteSeerPSU:226208        Dump No: 23

  333. Title: FindOut: Finding Outliers in Very Large Datasets        Number of references: 16        ID: oai:CiteSeerPSU:230290        Dump No: 24

  334. Title: Polynomial Primal-Dual Cone Affine Scaling For Semidefinite Programming        Number of references: 16        ID: oai:CiteSeerPSU:232579        Dump No: 24

  335. Title: Queueing-Theoretic Solution Methods for Models of Parallel and Distributed Systems        Number of references: 16        ID: oai:CiteSeerPSU:235101        Dump No: 24

  336. Title: Local Parallel Biomolecular Computation        Number of references: 16        ID: oai:CiteSeerPSU:240174        Dump No: 25

  337. Title: Towards Interoperability in Heterogeneous Database Systems        Number of references: 16        ID: oai:CiteSeerPSU:242943        Dump No: 25

  338. Title: A Software Agent Based Control System for Human-Robot Interaction        Number of references: 16        ID: oai:CiteSeerPSU:253608        Dump No: 26

  339. Title: Bandwidth Skimming: A Technique for Cost-Effective Video-on-Demand        Number of references: 16        ID: oai:CiteSeerPSU:254450        Dump No: 26

  340. Title: Run-Time Support for Parallel Discrete Event Simulation Languages        Number of references: 16        ID: oai:CiteSeerPSU:255563        Dump No: 26

  341. Title: Communication Substrate for Home-based Software DSMs        Number of references: 16        ID: oai:CiteSeerPSU:256039        Dump No: 26

  342. Title: Wavelets on Irregular Point Sets        Number of references: 16        ID: oai:CiteSeerPSU:256073        Dump No: 26

  343. Title: Advances in Predictive Model Generation for Data Mining        Number of references: 16        ID: oai:CiteSeerPSU:256504        Dump No: 26

  344. Title: Extracting Information from Heterogeneous Information Sources Using Ontologically Specified Target Views        Number of references: 16        ID: oai:CiteSeerPSU:257806        Dump No: 26

  345. Title: Expressing Irregular Computations in Modern Fortran Dialects        Number of references: 16        ID: oai:CiteSeerPSU:258240        Dump No: 26

  346. Title: Fast Proximity Queries with Swept Sphere Volumes        Number of references: 16        ID: oai:CiteSeerPSU:259299        Dump No: 26

  347. Title: K-Theory And Motivic Cohomology Of Schemes        Number of references: 16        ID: oai:CiteSeerPSU:259873        Dump No: 26

  348. Title: Workconserving vs. Non-workconserving Packet Scheduling: An Issue Revisited        Number of references: 16        ID: oai:CiteSeerPSU:260243        Dump No: 27

  349. Title: Flexible Code Safety for Win32        Number of references: 16        ID: oai:CiteSeerPSU:263160        Dump No: 27

  350. Title: SkIE: a heterogeneous environment for HPC applications        Number of references: 16        ID: oai:CiteSeerPSU:263665        Dump No: 27

  351. Title: PLUM: Parallel Load Balancing for Adaptive Unstructured Meshes        Number of references: 16        ID: oai:CiteSeerPSU:264607        Dump No: 27

  352. Title: Event Composition in Time-dependent Distributed Systems        Number of references: 16        ID: oai:CiteSeerPSU:266606        Dump No: 27

  353. Title: Enforcing Trace Properties by Program Transformation        Number of references: 16        ID: oai:CiteSeerPSU:270140        Dump No: 28

  354. Title: Dynamic View-Dependent Multiresolution on a Client-Server Architecture        Number of references: 16        ID: oai:CiteSeerPSU:270573        Dump No: 28

  355. Title: Service Sockets: Design, Implementation and Interfaces        Number of references: 16        ID: oai:CiteSeerPSU:270898        Dump No: 28

  356. Title: OLAP Market and Research: Initiating the Cooperation        Number of references: 16        ID: oai:CiteSeerPSU:270960        Dump No: 28

  357. Title: A Unification of Autocalibration Methods        Number of references: 16        ID: oai:CiteSeerPSU:271466        Dump No: 28

  358. Title: Formal Verification and Analysis of Multimedia Systems        Number of references: 16        ID: oai:CiteSeerPSU:272832        Dump No: 28

  359. Title: Testing Acyclicity of Directed Graphs in Sublinear Time        Number of references: 16        ID: oai:CiteSeerPSU:274264        Dump No: 28

  360. Title: What is View-Based Query Rewriting?        Number of references: 16        ID: oai:CiteSeerPSU:274311        Dump No: 28

  361. Title: Computational Learning Theory        Number of references: 16        ID: oai:CiteSeerPSU:275016        Dump No: 28

  362. Title: Integrating State Charts in Specware and Aspects of Correct Oberon Code Generation        Number of references: 16        ID: oai:CiteSeerPSU:275123        Dump No: 28

  363. Title: Efficient Selective Frame Discard Algorithms for Stored Video Delivery across Resource Constrained Networks        Number of references: 16        ID: oai:CiteSeerPSU:276187        Dump No: 28

  364. Title: Backbone Fragility Causes the Local Search Cost Peak        Number of references: 16        ID: oai:CiteSeerPSU:276270        Dump No: 28

  365. Title: QoS Preserving Totally Ordered Multicast        Number of references: 16        ID: oai:CiteSeerPSU:279443        Dump No: 28

  366. Title: Complexity Results for Default Reasoning from Conditional Knowledge. . .        Number of references: 16        ID: oai:CiteSeerPSU:279472        Dump No: 28

  367. Title: Automated Analysis of Software Frameworks        Number of references: 16        ID: oai:CiteSeerPSU:279904        Dump No: 28

  368. Title: Optimizing Retrieval and Processing of Multi-dimensional Scientific Datasets        Number of references: 16        ID: oai:CiteSeerPSU:283015        Dump No: 29

  369. Title: Using Ontologies for Knowledge Management: An Information Systems Perspective        Number of references: 16        ID: oai:CiteSeerPSU:290835        Dump No: 30

  370. Title: Integrating Library Modules into Special Purpose Parallel Algorithms        Number of references: 16        ID: oai:CiteSeerPSU:290967        Dump No: 30

  371. Title: Process- and Agent-Based Modelling Techniques for Dialogue Systems and Virtual Environments        Number of references: 16        ID: oai:CiteSeerPSU:292223        Dump No: 30

  372. Title: Mesh Compression and Its Software and Hardware Applications        Number of references: 16        ID: oai:CiteSeerPSU:292982        Dump No: 30

  373. Title: Design, Implementation, and Performance of Checkpointing in NetSolve        Number of references: 16        ID: oai:CiteSeerPSU:293222        Dump No: 30

  374. Title: Polymorphism and Type Inference in Database Programming        Number of references: 16        ID: oai:CiteSeerPSU:293225        Dump No: 30

  375. Title: Emotion-Based Agents        Number of references: 16        ID: oai:CiteSeerPSU:293431        Dump No: 30

  376. Title: Learning Plan Rewriting Rules        Number of references: 16        ID: oai:CiteSeerPSU:293578        Dump No: 30

  377. Title: Efficient Incremental Garbage Collection for Workstation/Server Database Systems        Number of references: 16        ID: oai:CiteSeerPSU:293755        Dump No: 30

  378. Title: Tracing the Lineage of View Data in a Warehousing Environment        Number of references: 16        ID: oai:CiteSeerPSU:293916        Dump No: 30

  379. Title: Comparing Random Data Allocation and Data Striping in Multimedia Servers        Number of references: 16        ID: oai:CiteSeerPSU:294845        Dump No: 30

  380. Title: Research in Automated Reasoning        Number of references: 16        ID: oai:CiteSeerPSU:295137        Dump No: 30

  381. Title: Compiler-Assisted Sub-block Reuse        Number of references: 16        ID: oai:CiteSeerPSU:296287        Dump No: 30

  382. Title: On Bunched Typing        Number of references: 16        ID: oai:CiteSeerPSU:296816        Dump No: 30

  383. Title: An Inheritance-Based Technique for Building Simulation Proofs Incrementally        Number of references: 16        ID: oai:CiteSeerPSU:299408        Dump No: 30

  384. Title: Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction        Number of references: 16        ID: oai:CiteSeerPSU:299459        Dump No: 30

  385. Title: Intention Reconciliation by Collaborative Agents        Number of references: 16        ID: oai:CiteSeerPSU:299524        Dump No: 30

  386. Title: XOTcl - an Object-Oriented Scripting Language        Number of references: 16        ID: oai:CiteSeerPSU:300131        Dump No: 31

  387. Title: Isolation with Flexibility: A Resource Management Framework for Central Servers        Number of references: 16        ID: oai:CiteSeerPSU:301011        Dump No: 31

  388. Title: Toward a Morphosyntactic User Model for Language Analysis and Generation: A PhD Proposal        Number of references: 16        ID: oai:CiteSeerPSU:302639        Dump No: 31

  389. Title: Coordinating Mutually Exclusive Resources using GPGP        Number of references: 16        ID: oai:CiteSeerPSU:303845        Dump No: 31

  390. Title: Continual Planning with Time-Oriented, Skeletal Plans        Number of references: 16        ID: oai:CiteSeerPSU:304815        Dump No: 31

  391. Title: Efficient Rate-Controlled Bulk Data Transfer using Multiple Multicast Groups        Number of references: 16        ID: oai:CiteSeerPSU:305313        Dump No: 31

  392. Title: Structure Comparison and Structure Patterns        Number of references: 16        ID: oai:CiteSeerPSU:305718        Dump No: 31

  393. Title: Manageability, Availability and Performance in Porcupine: A Highly Scalable, Cluster-Based Mail Service        Number of references: 16        ID: oai:CiteSeerPSU:306583        Dump No: 31

  394. Title: Type-Directed Flow Analysis for Typed Intermediate Languages        Number of references: 16        ID: oai:CiteSeerPSU:307551        Dump No: 31

  395. Title: Data Mining of User Navigation Patterns        Number of references: 16        ID: oai:CiteSeerPSU:308898        Dump No: 31

  396. Title: Model checking continuous-time Markov chains by transient analysis        Number of references: 16        ID: oai:CiteSeerPSU:310136        Dump No: 32

  397. Title: Bitwidth Analysis with Application to Silicon Compilation        Number of references: 16        ID: oai:CiteSeerPSU:310169        Dump No: 32

  398. Title: Traffic Shaping for End-to-End Delay Guarantees with EDF Scheduling        Number of references: 16        ID: oai:CiteSeerPSU:311101        Dump No: 32

  399. Title: On Comparing Dynamic and Underspecified Semantics for LFG        Number of references: 16        ID: oai:CiteSeerPSU:311366        Dump No: 32

  400. Title: A Novel Application Development Environment for Large-Scale Scientific Computations        Number of references: 16        ID: oai:CiteSeerPSU:312138        Dump No: 32

  401. Title: Service Disciplines For Guaranteed Performance Service in Packet-Switching Networks        Number of references: 32        ID: oai:CiteSeerPSU:11039        Dump No: 2

  402. Title: Recurrent Multilayer Perceptrons for Identification and Control: The Road to Applications        Number of references: 32        ID: oai:CiteSeerPSU:24627        Dump No: 3

  403. Title: Portable and Efficient Parallel Computing Using the BSP Model        Number of references: 32        ID: oai:CiteSeerPSU:25448        Dump No: 3

  404. Title: Path-based Compilation        Number of references: 32        ID: oai:CiteSeerPSU:38840        Dump No: 4

  405. Title: Applying Patterns to Develop Extensible ORB Middleware        Number of references: 32        ID: oai:CiteSeerPSU:55288        Dump No: 6

  406. Title: Temporal Query Languages: a Survey        Number of references: 32        ID: oai:CiteSeerPSU:76859        Dump No: 8

  407. Title: Practical Strategies for Hypotheses Elimination on the Self-Localization Problem        Number of references: 32        ID: oai:CiteSeerPSU:204254        Dump No: 21

  408. Title: Automatic Analysis of Consistency between Requirements and Designs        Number of references: 32        ID: oai:CiteSeerPSU:263427        Dump No: 27

  409. Title: Mobility Management in Next Generation Wireless Systems        Number of references: 32        ID: oai:CiteSeerPSU:294046        Dump No: 30

  410. Title: View-based Query Processing and Constraint Satisfaction        Number of references: 32        ID: oai:CiteSeerPSU:317766        Dump No: 32

  411. Title: Balancing Computation and Memory in High Capacity Reconfigurable Arrays        Number of references: 32        ID: oai:CiteSeerPSU:330575        Dump No: 34

  412. Title: Using Learning to Improve Multi-Agent Systems for Design        Number of references: 32        ID: oai:CiteSeerPSU:378175        Dump No: 38

  413. Title: Assigning Types to Processes        Number of references: 32        ID: oai:CiteSeerPSU:444470        Dump No: 45

  414. Title: An Evaluation of Scenario Notations for Telecommunication Systems Development        Number of references: 32        ID: oai:CiteSeerPSU:453185        Dump No: 46

  415. Title: Systematic Nonlinear Planning        Number of references: 0        ID: oai:CiteSeerPSU:140456        Dump No: 15

  416. Title: A Survey of Tractable Constraint Satisfaction Problems        Number of references: 0        ID: oai:CiteSeerPSU:140460        Dump No: 15

  417. Title: A Comparison of Robustness: Fuzzy Logic, PID, Sliding Mode Control        Number of references: 0        ID: oai:CiteSeerPSU:140471        Dump No: 15

  418. Title: On Case-Based Reasoning Technique Based on Similarity Methods and. . .        Number of references: 0        ID: oai:CiteSeerPSU:140472        Dump No: 15

  419. Title: Modelling Slotted Multi-Channel Ring All-Optical Networks        Number of references: 0        ID: oai:CiteSeerPSU:140477        Dump No: 15

  420. Title: Model-Checking in Dense Real-time        Number of references: 0        ID: oai:CiteSeerPSU:140487        Dump No: 15

  421. Title: The Notion of Trajectory in Graphical User Interfaces        Number of references: 0        ID: oai:CiteSeerPSU:140491        Dump No: 15

  422. Title: Real Time Vision System for Collision Detection        Number of references: 0        ID: oai:CiteSeerPSU:140493        Dump No: 15

  423. Title: Reasoning With Diagrams Only        Number of references: 0        ID: oai:CiteSeerPSU:140504        Dump No: 15

  424. Title: Proceedings of ICNN'94, Orlando, Florida        Number of references: 0        ID: oai:CiteSeerPSU:140506        Dump No: 15

  425. Title: Braille Translation using Augmented Transition Networks        Number of references: 0        ID: oai:CiteSeerPSU:140508        Dump No: 15

  426. Title: Bayesian Image Restoration And Segmentation By Constrained Optimization        Number of references: 0        ID: oai:CiteSeerPSU:140509        Dump No: 15

  427. Title: A Legend-Driven Geographic Symbol Recognition System        Number of references: 0        ID: oai:CiteSeerPSU:140513        Dump No: 15

  428. Title: Compilation of Functional Languages Using Flow Graph Analysis        Number of references: 0        ID: oai:CiteSeerPSU:140518        Dump No: 15

  429. Title: Feedback Guided Dynamic Loop Scheduling: Algorithms and Experiments        Number of references: 0        ID: oai:CiteSeerPSU:140520        Dump No: 15

  430. Title: Does A Quantum Particle Know The Time?        Number of references: 0        ID: oai:CiteSeerPSU:140522        Dump No: 15

  431. Title: Edge-Bandwidth Of Graphs        Number of references: 0        ID: oai:CiteSeerPSU:140524        Dump No: 15

  432. Title: Selective Sampling In Natural Language Learning        Number of references: 0        ID: oai:CiteSeerPSU:140541        Dump No: 15

  433. Title: Brad Waller Language Acquisition Professor Kenneth Wexler May 14, 1997        Number of references: 0        ID: oai:CiteSeerPSU:140542        Dump No: 15

  434. Title: A Note on the Asymptotics and Computational Complexity of Graph Distinguishability        Number of references: 0        ID: oai:CiteSeerPSU:140547        Dump No: 15

  435. Title: Compiler Analysis for Cache Coherence:        Number of references: 0        ID: oai:CiteSeerPSU:140554        Dump No: 15

  436. Title: Using Goals to Find Plans with High Expected Utility        Number of references: 0        ID: oai:CiteSeerPSU:140555        Dump No: 15

  437. Title: Performance Analysis of Parallel Systems: Approaches and Open Problems        Number of references: 0        ID: oai:CiteSeerPSU:140556        Dump No: 15

  438. Title: Implementing Randomised Algorithms in Constraint Logic Programming        Number of references: 0        ID: oai:CiteSeerPSU:140557        Dump No: 15

  439. Title: Efficient Policies for Carrying Web Traffic Over Flow-Switched Networks        Number of references: 0        ID: oai:CiteSeerPSU:140560        Dump No: 15

  440. Title: Exploration of Simulation Experiments by Discovery        Number of references: 0        ID: oai:CiteSeerPSU:140561        Dump No: 15

  441. Title: Facilitating Open Communication in Agent Systems: the InfoSleuth Infrastructure        Number of references: 0        ID: oai:CiteSeerPSU:140566        Dump No: 15

  442. Title: Constraint Logic Programming in the Sequent Calculus        Number of references: 0        ID: oai:CiteSeerPSU:140569        Dump No: 15

  443. Title: Co-operation through Hierarchical Competition in Genetic Data Mining        Number of references: 0        ID: oai:CiteSeerPSU:140570        Dump No: 15

  444. Title: Evaluation Of The Relationship Between Emotional Concepts And Emotional Parameters On Speech        Number of references: 0        ID: oai:CiteSeerPSU:140571        Dump No: 15

  445. Title: Turning an Action Formalism Into a Planner--- A Case Study        Number of references: 0        ID: oai:CiteSeerPSU:140580        Dump No: 15

  446. Title: DEFLATE Compressed Data Format Specification version 1.3        Number of references: 0        ID: oai:CiteSeerPSU:140582        Dump No: 15

  447. Title: Efficient and Effective Clustering Methods for Spatial Data Mining        Number of references: 0        ID: oai:CiteSeerPSU:140586        Dump No: 15

  448. Title: Information Structure and the Syntax-Phonology Interface        Number of references: 0        ID: oai:CiteSeerPSU:140588        Dump No: 15

  449. Title: Object and Native Code Thread Mobility Among Heterogeneous Computers        Number of references: 0        ID: oai:CiteSeerPSU:140597        Dump No: 15

  450. Title: A Maximum Entropy Approach For Optimal Statistical Classification        Number of references: 0        ID: oai:CiteSeerPSU:140606        Dump No: 15

  451. Title: An Evolutionary Heuristic for the Maximum Independent Set Problem        Number of references: 0        ID: oai:CiteSeerPSU:140608        Dump No: 15

  452. Title: Pragmatic User Modelling for Complex Knowledge-Based Systems        Number of references: 0        ID: oai:CiteSeerPSU:140616        Dump No: 15

  453. Title: Token Passing: a Simple Conceptual Model for Connected Speech Recognition Systems        Number of references: 0        ID: oai:CiteSeerPSU:140618        Dump No: 15

  454. Title: Research Report        Number of references: 0        ID: oai:CiteSeerPSU:140624        Dump No: 15

  455. Title: Two Software Tools Supporting Enduser Oriented Information Retrieval in Physics        Number of references: 0        ID: oai:CiteSeerPSU:140632        Dump No: 15

  456. Title: Continuous Media Sharing in Multimedia Database Systems        Number of references: 0        ID: oai:CiteSeerPSU:140641        Dump No: 15

  457. Title: Stochastic Completion Fields: A Neural Model of Illusory Contour Shape and Salience        Number of references: 0        ID: oai:CiteSeerPSU:140645        Dump No: 15

  458. Title: Using Genetic Algorithms to Fine-Tune Instruction-Scheduling Heuristics        Number of references: 0        ID: oai:CiteSeerPSU:140647        Dump No: 15

  459. Title: Combining Natural Language and Hypermedia as New Means for Information Access        Number of references: 0        ID: oai:CiteSeerPSU:140661        Dump No: 15

  460. Title: An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development        Number of references: 0        ID: oai:CiteSeerPSU:140663        Dump No: 15

  461. Title: Boleslaw K. Szymanski and Jose M. Vidal        Number of references: 0        ID: oai:CiteSeerPSU:140668        Dump No: 15

  462. Title: Efficient, Strongly Consistent Implementations of Shared Memory (Extended Abstract)        Number of references: 0        ID: oai:CiteSeerPSU:140672        Dump No: 15

  463. Title: The Statistics of Natural Image Contours        Number of references: 0        ID: oai:CiteSeerPSU:140673        Dump No: 15

  464. Title: A Critique of the Programming Language C*        Number of references: 0        ID: oai:CiteSeerPSU:140677        Dump No: 15

  465. Title: Cosine Transform Preconditioners for High Resolution Image Reconstruction        Number of references: 0        ID: oai:CiteSeerPSU:140693        Dump No: 15

  466. Title: Design and Implementation of the        Number of references: 0        ID: oai:CiteSeerPSU:140694        Dump No: 15

  467. Title: An Uncertainty Model of Stereo Vision and its Application to Vision-Motion Planning of Robot        Number of references: 0        ID: oai:CiteSeerPSU:140697        Dump No: 15

  468. Title: Protecting Poorly Chosen Secrets from Guessing Attacks        Number of references: 0        ID: oai:CiteSeerPSU:140708        Dump No: 15

  469. Title: An Interval Classifier for Database Mining Applications        Number of references: 0        ID: oai:CiteSeerPSU:140709        Dump No: 15

  470. Title: Probabilistic Resource Failure in Real-Time Process Algebra        Number of references: 0        ID: oai:CiteSeerPSU:140712        Dump No: 15

  471. Title: Storage Management for Evolving Databases        Number of references: 0        ID: oai:CiteSeerPSU:140719        Dump No: 15

  472. Title: Temporal Modules: An Approach Toward Federated Temporal Databases        Number of references: 0        ID: oai:CiteSeerPSU:140723        Dump No: 15

  473. Title: Scheduling In Real-Time Transaction Systems        Number of references: 0        ID: oai:CiteSeerPSU:140740        Dump No: 15

  474. Title: Representing and Querying Changes in Semistructured Data        Number of references: 0        ID: oai:CiteSeerPSU:140742        Dump No: 15

  475. Title: Pipelined Multi-Queue Management in a VLSI ATM Switch Chip with Credit-Based Flow-Control        Number of references: 0        ID: oai:CiteSeerPSU:140749        Dump No: 15

  476. Title: Hypertext Transfer Protocol -- HTTP/1.1        Number of references: 0        ID: oai:CiteSeerPSU:140763        Dump No: 15

  477. Title: The Design and Implementation of an IPv6/IPv4 Network Address and Protocol Translator        Number of references: 0        ID: oai:CiteSeerPSU:140768        Dump No: 15

  478. Title: Distributed Systems Toolkit        Number of references: 0        ID: oai:CiteSeerPSU:140769        Dump No: 15

  479. Title: A Comparison Of Two Paradigms For Distributed Shared Memory        Number of references: 0        ID: oai:CiteSeerPSU:140772        Dump No: 15

  480. Title: Frame-Free Video        Number of references: 0        ID: oai:CiteSeerPSU:140778        Dump No: 15

  481. Title: Microchoice Bounds and Self Bounding Learning Algorithms        Number of references: 0        ID: oai:CiteSeerPSU:140785        Dump No: 15

  482. Title: Phrasal Translation and Query Expansion Techniques for Cross-Language Information Retrieval        Number of references: 0        ID: oai:CiteSeerPSU:140790        Dump No: 15

  483. Title: Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems        Number of references: 0        ID: oai:CiteSeerPSU:140793        Dump No: 15

  484. Title: Emergence-based Cooperation in a Multi-Agent System        Number of references: 0        ID: oai:CiteSeerPSU:140800        Dump No: 15

  485. Title: Object-Oriented Design of Information Systems: Theoretical Foundations        Number of references: 0        ID: oai:CiteSeerPSU:140809        Dump No: 15

  486. Title: Fast Algorithms and Hardware for 3D Computer Graphics David A. P. Mitchell, B.Sc.        Number of references: 0        ID: oai:CiteSeerPSU:140821        Dump No: 15

  487. Title: International Journal of Neural Systems, Vol. ?, (Supp. 1995) 000--000 NOISY INFORMATION TRANSMISSION: A STABILITY ANALYSIS        Number of references: 0        ID: oai:CiteSeerPSU:140822        Dump No: 15

  488. Title: Marginal Problem in Different Calculi of AI        Number of references: 0        ID: oai:CiteSeerPSU:140836        Dump No: 15

  489. Title: Efficient Text Categorization        Number of references: 0        ID: oai:CiteSeerPSU:140838        Dump No: 15

  490. Title: Virtual Memory Management in Chorus        Number of references: 0        ID: oai:CiteSeerPSU:140845        Dump No: 15

  491. Title: Rate/distortion Performance Of Fractal Transforms For Image Compression        Number of references: 0        ID: oai:CiteSeerPSU:140856        Dump No: 15

  492. Title: Domain-Specific Criteria to Direct and Evaluate Planning Systems        Number of references: 0        ID: oai:CiteSeerPSU:140858        Dump No: 15

  493. Title: Experiments In Automatic Meeting Transcription Using Jrtk        Number of references: 0        ID: oai:CiteSeerPSU:140862        Dump No: 15

  494. Title: Training with Noise is Equivalent to Tikhonov Regularization        Number of references: 0        ID: oai:CiteSeerPSU:140893        Dump No: 15

  495. Title: ICA Mixture Models for Unsupervised Classification of Non-Gaussian Sources and Automatic Context Switching in Blind Signal Separation        Number of references: 0        ID: oai:CiteSeerPSU:140902        Dump No: 15

  496. Title: Temporal Difference Learning of Position Evaluation in the Game of Go        Number of references: 0        ID: oai:CiteSeerPSU:140904        Dump No: 15

  497. Title: New Capabilities of the ADS        Number of references: 0        ID: oai:CiteSeerPSU:140913        Dump No: 15

  498. Title: The Problem of Reasoning by Case Analysis        Number of references: 0        ID: oai:CiteSeerPSU:140916        Dump No: 15

  499. Title: Global, rigorous and realistic bounds for the solution of dissipative differential equations. Part I: Theory        Number of references: 0        ID: oai:CiteSeerPSU:140920        Dump No: 15

  500. Title: The IceT Environment for Parallel and Distributed Computing (Extended Abstract)        Number of references: 0        ID: oai:CiteSeerPSU:140930        Dump No: 15

  501. Title: On Genetic Algorithms and Lindenmayer Systems        Number of references: 0        ID: oai:CiteSeerPSU:140943        Dump No: 15

  502. Title: A Statistics-Based Framework For Automated Software Testing        Number of references: 0        ID: oai:CiteSeerPSU:140946        Dump No: 15

  503. Title: On the Applicability of Neural Network and Machine Learning Methodologies to Natural Language Processing        Number of references: 0        ID: oai:CiteSeerPSU:140951        Dump No: 15

  504. Title: Secure RPC Authentication (SRA) for TELNET and FTP        Number of references: 0        ID: oai:CiteSeerPSU:140952        Dump No: 15

  505. Title: Specification And Development Of Parallel Algorithms With The Proteus System        Number of references: 0        ID: oai:CiteSeerPSU:140955        Dump No: 15

  506. Title: Conjectural Equilibrium in Multiagent Learning        Number of references: 0        ID: oai:CiteSeerPSU:140960        Dump No: 15

  507. Title: Janus --- a C++ Template Library for Parallel Dynamic Mesh Applications        Number of references: 0        ID: oai:CiteSeerPSU:140961        Dump No: 15

  508. Title: A Schema for Adding Dependent Types to ML        Number of references: 0        ID: oai:CiteSeerPSU:140963        Dump No: 15

  509. Title: Using Genetic Algorithms for Concept Learning        Number of references: 0        ID: oai:CiteSeerPSU:140965        Dump No: 15

  510. Title: Parallel Matrix Multiplication Algorithms on Hypercube Multiprocessors        Number of references: 0        ID: oai:CiteSeerPSU:140968        Dump No: 15

  511. Title: Information Retrieval Course Material of the Course held in the Summer Term 1993 Chapter 8: IR and Databases        Number of references: 0        ID: oai:CiteSeerPSU:140977        Dump No: 15

  512. Title: Using Logic Programming Languages For Optical Music Recognition        Number of references: 0        ID: oai:CiteSeerPSU:140989        Dump No: 15

  513. Title: Evolutionary Training of CLP-Constrained Neural Networks        Number of references: 0        ID: oai:CiteSeerPSU:140996        Dump No: 15

  514. Title: Verification and Validation of KBS With Neural Network Components        Number of references: 0        ID: oai:CiteSeerPSU:140997        Dump No: 15

  515. Title: Introducing Relevancy and Context Into an Open Hypermedia Link Service        Number of references: 32        ID: oai:CiteSeerPSU:478861        Dump No: 48

  516. Title: A Unified Infrastructure for Parallel Out-Of-Core Isosurface Extraction and Volume Rendering of Unstructured Grids        Number of references: 32        ID: oai:CiteSeerPSU:491513        Dump No: 50

  517. Title: Delay-Sensitive Branch Predictors for Future Technologies        Number of references: 32        ID: oai:CiteSeerPSU:508398        Dump No: 51

  518. Title: Query Answering in Inconsistent Databases        Number of references: 32        ID: oai:CiteSeerPSU:527841        Dump No: 53

  519. Title: Content-based Video Communication: Methodology and Applications        Number of references: 32        ID: oai:CiteSeerPSU:539231        Dump No: 54

  520. Title: Indexing of Compressed Time Series        Number of references: 32        ID: oai:CiteSeerPSU:539566        Dump No: 54

  521. Title: Demand-Driven Type Analysis for Dynamically-Typed Functional Languages        Number of references: 32        ID: oai:CiteSeerPSU:552569        Dump No: 56

  522. Title: Program Model Checking as a New Trend        Number of references: 32        ID: oai:CiteSeerPSU:558197        Dump No: 56

  523. Title: Generative Models for Learning and Understanding Dynamic Scene Activity        Number of references: 32        ID: oai:CiteSeerPSU:572351        Dump No: 58

  524. Title: Techniques Utilizing Memory Reference Characteristics for Improved Performance        Number of references: 32        ID: oai:CiteSeerPSU:593693        Dump No: 60

  525. Title: Robust Geometric Computation        Number of references: 32        ID: oai:CiteSeerPSU:609720        Dump No: 61

  526. Title: Parallel Metaheuristics        Number of references: 32        ID: oai:CiteSeerPSU:613414        Dump No: 62

  527. Title: Software Synthesis and Code Generation        Number of references: 32        ID: oai:CiteSeerPSU:638190        Dump No: 64

  528. Title: Block Ciphers and Stream Ciphers: The State of the Art        Number of references: 32        ID: oai:CiteSeerPSU:657137        Dump No: 66

  529. Title: Simultaneous Feature Selection and Clustering Using Mixture Models        Number of references: 32        ID: oai:CiteSeerPSU:676182        Dump No: 68

  530. Title: Digital Image Data Hiding        Number of references: 32        ID: oai:CiteSeerPSU:697302        Dump No: 70

  531. Title: HEED: A Hybrid, Energy-Efficient, Distributed Clustering Approach for Ad-hoc Sensor Networks        Number of references: 32        ID: oai:CiteSeerPSU:698974        Dump No: 70

  532. Title: the Faculty of Science and Technology        Number of references: 32        ID: oai:CiteSeerPSU:705309        Dump No: 71

  533. Title: Lower Bounds for Non-Black-Box Zero Knowledge        Number of references: 32        ID: oai:CiteSeerPSU:712887        Dump No: 72

  534. Title: On Quality of Service Optimization with Discrete QoS Options        Number of references: 4        ID: oai:CiteSeerPSU:147197        Dump No: 15

  535. Title: An Algorithmic Approach To Optimizing Fault Coverage For BIST Logic Synthesis        Number of references: 4        ID: oai:CiteSeerPSU:147238        Dump No: 15

  536. Title: 3D Free-form Object Recognition using Indexing by Contour Features        Number of references: 4        ID: oai:CiteSeerPSU:147266        Dump No: 15

  537. Title: Conditionally-Perfect Secrecy and a Provably-Secure Randomized Cipher        Number of references: 4        ID: oai:CiteSeerPSU:147275        Dump No: 15

  538. Title: On The Space-Time Mapping Of A Class Of Divide-And-Conquer Recursions        Number of references: 4        ID: oai:CiteSeerPSU:147307        Dump No: 15

  539. Title: The Design and Implementation of a 200k-gate Reconfigurable Computing System        Number of references: 4        ID: oai:CiteSeerPSU:147324        Dump No: 15

  540. Title: Learning and Exploitation do not Conflict under Minimax Optimality        Number of references: 4        ID: oai:CiteSeerPSU:147329        Dump No: 15

  541. Title: Fuzzy Triggers: Incorporating Imprecise Reasoning into Active Databases        Number of references: 4        ID: oai:CiteSeerPSU:147360        Dump No: 15

  542. Title: Noise Handling with Extension Matrixes        Number of references: 4        ID: oai:CiteSeerPSU:147361        Dump No: 15

  543. Title: Simplex Meshes: a General Representation for 3D Shape Reconstruction        Number of references: 4        ID: oai:CiteSeerPSU:147387        Dump No: 15

  544. Title: Fast Approximation of Support Vector Kernel Expansions, and an Interpretation of Clustering as Approximation in Feature Spaces        Number of references: 4        ID: oai:CiteSeerPSU:147434        Dump No: 15

  545. Title: Three-Dimensional Grouping and Information Fusion for Site Modeling from Aerial Images        Number of references: 4        ID: oai:CiteSeerPSU:147448        Dump No: 15

  546. Title: BAAWAM with wireless specific quality of service        Number of references: 4        ID: oai:CiteSeerPSU:147537        Dump No: 15

  547. Title: Parallel Searching on m Rays        Number of references: 4        ID: oai:CiteSeerPSU:147566        Dump No: 15

  548. Title: Parallel Community CLIMATE MODEL: DESCRIPTION & USER'S GUIDE        Number of references: 4        ID: oai:CiteSeerPSU:147581        Dump No: 15

  549. Title: Second Differentials in Arbitrary Feed-Forward Neural Networks        Number of references: 4        ID: oai:CiteSeerPSU:147586        Dump No: 15

  550. Title: The Design and Implementation of the CPU Power Regulator for Multimedia Operating Systems        Number of references: 4        ID: oai:CiteSeerPSU:147617        Dump No: 15

  551. Title: Efficient Privatization of Random Bits        Number of references: 4        ID: oai:CiteSeerPSU:147690        Dump No: 15

  552. Title: Fast and Efficient Lossless Image Compression        Number of references: 4        ID: oai:CiteSeerPSU:147714        Dump No: 15

  553. Title: Dynamical Selection of Learning Algorithms        Number of references: 4        ID: oai:CiteSeerPSU:147736        Dump No: 15

  554. Title: Combining MSCs and Data Descriptions in order to Generate Executable Test Cases for ISDN Systems        Number of references: 4        ID: oai:CiteSeerPSU:147756        Dump No: 15

  555. Title: CRPC Research into Linear Algebra Software for High Performance Computers        Number of references: 4        ID: oai:CiteSeerPSU:147790        Dump No: 15

  556. Title: Multimedia over ATM: Progress, Status and Future        Number of references: 4        ID: oai:CiteSeerPSU:147804        Dump No: 15

  557. Title: Context and Caterpillars and Structured Documents        Number of references: 4        ID: oai:CiteSeerPSU:147819        Dump No: 15

  558. Title: Discourse Relations as Descriptions of an Algorithm for Perception, Action and Theorem-Proving        Number of references: 4        ID: oai:CiteSeerPSU:147851        Dump No: 15

  559. Title: Improving Robot Vision By Color Information        Number of references: 4        ID: oai:CiteSeerPSU:147857        Dump No: 15

  560. Title: Patterns of Functional Damage in Neural Network Models of Associative Memory        Number of references: 4        ID: oai:CiteSeerPSU:147880        Dump No: 15

  561. Title: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs        Number of references: 4        ID: oai:CiteSeerPSU:147949        Dump No: 15

  562. Title: Designing Drafting Tools for and with Translators        Number of references: 4        ID: oai:CiteSeerPSU:147992        Dump No: 15

  563. Title: Text and Discourse Understanding: The DISCERN System        Number of references: 4        ID: oai:CiteSeerPSU:148008        Dump No: 15

  564. Title: Successful Lecture Timetabling with Evolutionary Algorithms        Number of references: 4        ID: oai:CiteSeerPSU:148011        Dump No: 15

  565. Title: Negation and Proof by Contradiction in Access-Limited Logic        Number of references: 4        ID: oai:CiteSeerPSU:148022        Dump No: 15

  566. Title: Analysis of the Sensitivity Attack against Electronic Watermarks in Images        Number of references: 4        ID: oai:CiteSeerPSU:148090        Dump No: 15

  567. Title: An Architectural Comparison of ST-II and RSVP        Number of references: 4        ID: oai:CiteSeerPSU:148103        Dump No: 15

  568. Title: Online Animated Graph Drawing using a Modified Spring Algorithm        Number of references: 4        ID: oai:CiteSeerPSU:148112        Dump No: 15

  569. Title: Voronoi Diagrams of Moving Points        Number of references: 4        ID: oai:CiteSeerPSU:148170        Dump No: 15

  570. Title: Pattern Recognition and Neural Networks        Number of references: 4        ID: oai:CiteSeerPSU:148271        Dump No: 15

  571. Title: Comparing Static And Dynamic Code Scheduling for Multiple-Instruction-Issue Processors        Number of references: 4        ID: oai:CiteSeerPSU:148295        Dump No: 15

  572. Title: Raising the Interlingual Ceiling with Multilingual Text Generation        Number of references: 4        ID: oai:CiteSeerPSU:148465        Dump No: 15

  573. Title: Symbol Ranking Text Compression        Number of references: 4        ID: oai:CiteSeerPSU:148490        Dump No: 15

  574. Title: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective        Number of references: 4        ID: oai:CiteSeerPSU:148590        Dump No: 15

  575. Title: A Partial Deterministic Automaton for Approximate String Matching        Number of references: 4        ID: oai:CiteSeerPSU:148605        Dump No: 15

  576. Title: Interactive Generation of Graphical User Interfaces by Multiple Visual Examples        Number of references: 4        ID: oai:CiteSeerPSU:148619        Dump No: 15

  577. Title: When Pro-Drop Languages Don't: Overt Pronominal Subjects and Pragmatic Inference        Number of references: 4        ID: oai:CiteSeerPSU:148682        Dump No: 15

  578. Title: Missing Feature Theory In ASR: Make Sure You Miss The Right Type Of Features        Number of references: 4        ID: oai:CiteSeerPSU:148755        Dump No: 15

  579. Title: Generalization in the XCS Classifier System        Number of references: 4        ID: oai:CiteSeerPSU:148764        Dump No: 15

  580. Title: New Coding Techniques for Improved Bandwidth Utilization        Number of references: 4        ID: oai:CiteSeerPSU:148778        Dump No: 15

  581. Title: Comparing Curried and Uncurried Rewriting        Number of references: 4        ID: oai:CiteSeerPSU:148781        Dump No: 15

  582. Title: A Contextual Approch For The Requirements Engineering Process        Number of references: 4        ID: oai:CiteSeerPSU:148865        Dump No: 15

  583. Title: Statistical Power and its subcomponents - missing and misunderstood concepts in Software Engineering Empirical Research        Number of references: 4        ID: oai:CiteSeerPSU:149016        Dump No: 15

  584. Title: Visualising Cyberspace: Information Visualisation in the Harmony Internet Browser        Number of references: 4        ID: oai:CiteSeerPSU:149095        Dump No: 15

  585. Title: Parallelizing the Crossword Generation Game in Orca        Number of references: 4        ID: oai:CiteSeerPSU:149148        Dump No: 15

  586. Title: A First Step Toward the Formal Analysis of Solution Quality in FA/C Distributed Interpretation Systems        Number of references: 4        ID: oai:CiteSeerPSU:149152        Dump No: 15

  587. Title: Brave Mobots use Representation: Emergence of Representation in Fight-or-Flight Learning        Number of references: 4        ID: oai:CiteSeerPSU:149184        Dump No: 15

  588. Title: Stability of Hybrid Systems        Number of references: 4        ID: oai:CiteSeerPSU:149217        Dump No: 15

  589. Title: Solving Systems of Set Constraints (Extended Abstract)        Number of references: 4        ID: oai:CiteSeerPSU:149223        Dump No: 15

  590. Title: A Constraint-Based Branch-and-Bound Algorithm for Preemptive Job-Shop Scheduling        Number of references: 4        ID: oai:CiteSeerPSU:149241        Dump No: 15

  591. Title: Evaluation Of Dialog Strategies For A Tourist Information Retrieval System        Number of references: 4        ID: oai:CiteSeerPSU:149260        Dump No: 15

  592. Title: Task Acquisition with a Description Logic Reasoner        Number of references: 4        ID: oai:CiteSeerPSU:149261        Dump No: 15

  593. Title: Satisfiability Planning with Causal Theories        Number of references: 4        ID: oai:CiteSeerPSU:149273        Dump No: 15

  594. Title: Hybrid Anatomically Based Modeling of Animals        Number of references: 4        ID: oai:CiteSeerPSU:149282        Dump No: 15

  595. Title: Parallel and Distributed Programming with Pthreads and Rthreads        Number of references: 4        ID: oai:CiteSeerPSU:149329        Dump No: 15

  596. Title: Efficient Oblivious Parallel Sorting on the MasPar MP-1        Number of references: 4        ID: oai:CiteSeerPSU:149334        Dump No: 15

  597. Title: Parallel Discrete-Event Simulation Using Pvm        Number of references: 4        ID: oai:CiteSeerPSU:149354        Dump No: 15

  598. Title: Multiparameter QoS admission control for ATM queues with Partial Buffer Sharing Mechanism        Number of references: 4        ID: oai:CiteSeerPSU:149504        Dump No: 15

  599. Title: Labelled Quantified Modal Logics        Number of references: 4        ID: oai:CiteSeerPSU:149533        Dump No: 15

  600. Title: Classification on Pairwise Proximity Data        Number of references: 4        ID: oai:CiteSeerPSU:149595        Dump No: 15

  601. Title: Characteristics of Multiplexed Variable Bit Rate Video Sources        Number of references: 4        ID: oai:CiteSeerPSU:149603        Dump No: 15

  602. Title: Back to the Future: Towards a Theory of Timed Regular Languages        Number of references: 4        ID: oai:CiteSeerPSU:149673        Dump No: 15

  603. Title: Local Enumeration Techniques for Sparse Algorithms        Number of references: 4        ID: oai:CiteSeerPSU:149717        Dump No: 15

  604. Title: The Response to Selection Equation for Skew Fitness Distributions        Number of references: 4        ID: oai:CiteSeerPSU:149730        Dump No: 15

  605. Title: The Anchored Version of the Temporal Framework        Number of references: 4        ID: oai:CiteSeerPSU:149820        Dump No: 15

  606. Title: The Effects of Jitter on the Perceptual Quality of Video        Number of references: 4        ID: oai:CiteSeerPSU:149824        Dump No: 15

  607. Title: A Distributed Algorithm for Delay-Constrained Unicast Routing        Number of references: 4        ID: oai:CiteSeerPSU:149843        Dump No: 15

  608. Title: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases        Number of references: 4        ID: oai:CiteSeerPSU:149855        Dump No: 15

  609. Title: Automatic Detection of Omissions in Translations        Number of references: 4        ID: oai:CiteSeerPSU:149949        Dump No: 15

  610. Title: Genetic Algorithms for Scheduling        Number of references: 4        ID: oai:CiteSeerPSU:149983        Dump No: 15

  611. Title: Multiagent Learning Systems and Expert Agents        Number of references: 4        ID: oai:CiteSeerPSU:150076        Dump No: 16

  612. Title: Regularization With a Pruning Prior        Number of references: 4        ID: oai:CiteSeerPSU:150143        Dump No: 16

  613. Title: Surface Approximation and Geometric Partitions        Number of references: 4        ID: oai:CiteSeerPSU:150193        Dump No: 16

  614. Title: A Robust and Convergent Iterative Approach for Determining the Dominant Plane From Two Views Without Correspondence and Calibration        Number of references: 4        ID: oai:CiteSeerPSU:150242        Dump No: 16

  615. Title: Shape Recovery Using Dynamic Subdivision Surfaces        Number of references: 4        ID: oai:CiteSeerPSU:150331        Dump No: 16

  616. Title: A Case Study in Ontology Library Construction        Number of references: 4        ID: oai:CiteSeerPSU:150336        Dump No: 16

  617. Title: A 3-level Atomicity Model for Decentralized Workflow Management Systems        Number of references: 4        ID: oai:CiteSeerPSU:150506        Dump No: 16

  618. Title: Update of Roads in GIS by Automatic Extraction from Aerial Imagery        Number of references: 4        ID: oai:CiteSeerPSU:150515        Dump No: 16

  619. Title: Evaluation of a Query Language for Structured Hypermedia Documents        Number of references: 4        ID: oai:CiteSeerPSU:150601        Dump No: 16

  620. Title: Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class        Number of references: 4        ID: oai:CiteSeerPSU:150602        Dump No: 16

  621. Title: Using Worldviews in Conceptual Object Oriented Systems Modelling        Number of references: 4        ID: oai:CiteSeerPSU:150632        Dump No: 16

  622. Title: Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic        Number of references: 4        ID: oai:CiteSeerPSU:150706        Dump No: 16

  623. Title: Programming with Dynamic Predicate Logic        Number of references: 4        ID: oai:CiteSeerPSU:150714        Dump No: 16

  624. Title: Supply Chain Coordination via Mediated Constraint Relaxation        Number of references: 4        ID: oai:CiteSeerPSU:150844        Dump No: 16

  625. Title: PAC Learning of Interleaved Melodies        Number of references: 4        ID: oai:CiteSeerPSU:150891        Dump No: 16

  626. Title: Exploiting Don't Cares During Data Sequencing using Genetic Algorithms        Number of references: 4        ID: oai:CiteSeerPSU:150904        Dump No: 16

  627. Title: Determining Determiner Sequencing: A Syntactic Analysis for English        Number of references: 4        ID: oai:CiteSeerPSU:150919        Dump No: 16

  628. Title: Discovery of Common Subsequences in Cognitive Evoked Potentials        Number of references: 4        ID: oai:CiteSeerPSU:150946        Dump No: 16

  629. Title: Compiling Conceptual Graphs        Number of references: 4        ID: oai:CiteSeerPSU:150948        Dump No: 16

  630. Title: Global Surface Reconstruction By Purposive Control of Observer Motion        Number of references: 4        ID: oai:CiteSeerPSU:150967        Dump No: 16

  631. Title: Robust Bit Extraction From Images        Number of references: 4        ID: oai:CiteSeerPSU:151065        Dump No: 16

  632. Title: Future Work        Number of references: 4        ID: oai:CiteSeerPSU:151066        Dump No: 16

  633. Title: An Overview of Parallel Strategies for Transitive Closure on Algebraic Machines        Number of references: 4        ID: oai:CiteSeerPSU:151161        Dump No: 16

  634. Title: Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts        Number of references: 8        ID: oai:CiteSeerPSU:165981        Dump No: 17

  635. Title: A Position Paper on Compile-time Program Analysis        Number of references: 8        ID: oai:CiteSeerPSU:165984        Dump No: 17

  636. Title: Predicting Sequences of User Actions        Number of references: 8        ID: oai:CiteSeerPSU:166064        Dump No: 17

  637. Title: Designing a Distributed Authorization Service        Number of references: 8        ID: oai:CiteSeerPSU:166117        Dump No: 17

  638. Title: Automatic Transcription of Simple Polyphonic Music: Robust Front End Processing        Number of references: 8        ID: oai:CiteSeerPSU:166263        Dump No: 17

  639. Title: Compile-time Performance Prediction of Parallel Systems        Number of references: 8        ID: oai:CiteSeerPSU:166295        Dump No: 17

  640. Title: Dead Code Elimination through Dependent Types        Number of references: 8        ID: oai:CiteSeerPSU:166306        Dump No: 17

  641. Title: GLU: A High-Level System for Granular Data-Parallel Programming        Number of references: 8        ID: oai:CiteSeerPSU:166316        Dump No: 17

  642. Title: SYSMAN PROJECT (7026) Configuration Management for Distributed Systems        Number of references: 8        ID: oai:CiteSeerPSU:166889        Dump No: 17

  643. Title: Direct Methods for Estimation of Structure and Motion From Three Views        Number of references: 8        ID: oai:CiteSeerPSU:167085        Dump No: 17

  644. Title: Homonymy and Polysemy in Information Retrieval        Number of references: 8        ID: oai:CiteSeerPSU:167170        Dump No: 17

  645. Title: The Interaction of Parallel Programming Constructs and Coherence Protocols        Number of references: 8        ID: oai:CiteSeerPSU:167281        Dump No: 17

  646. Title: Observation of Software for Distributed Systems with RCL        Number of references: 8        ID: oai:CiteSeerPSU:167359        Dump No: 17

  647. Title: A Facility For Experimenting Distributed Software in the Internet        Number of references: 8        ID: oai:CiteSeerPSU:167403        Dump No: 17

  648. Title: Using Broadcasting To Implement Distributed Shared Memory Efficiently        Number of references: 8        ID: oai:CiteSeerPSU:167699        Dump No: 17

  649. Title: On-line Learning and the Metrical Task System Problem        Number of references: 8        ID: oai:CiteSeerPSU:167755        Dump No: 17

  650. Title: Time/Contention Trade-offs for Multiprocessor Synchronization        Number of references: 8        ID: oai:CiteSeerPSU:167770        Dump No: 17

  651. Title: Timed Default Concurrent Constraint Programming        Number of references: 8        ID: oai:CiteSeerPSU:167797        Dump No: 17

  652. Title: Preconditioning Methods for Shift-Variant Image Reconstruction        Number of references: 8        ID: oai:CiteSeerPSU:167981        Dump No: 17

  653. Title: Bacterium Robot Society - A Biologically Inspired Multi-Agent Concept for Internal Monitoring and Controlling of Processes        Number of references: 8        ID: oai:CiteSeerPSU:168268        Dump No: 17

  654. Title: Nexus: Runtime Support for Task-Parallel Programming Languages        Number of references: 8        ID: oai:CiteSeerPSU:168457        Dump No: 17

  655. Title: Parallel Numerical Algorithms and Software        Number of references: 8        ID: oai:CiteSeerPSU:168591        Dump No: 17

  656. Title: Reduction Operations in Parallel Discrete Event Simulations        Number of references: 8        ID: oai:CiteSeerPSU:168690        Dump No: 17

  657. Title: Design And Performance Evaluation Of Indexing Methods For Dynamic Attributes In Mobile Database Management Systems        Number of references: 8        ID: oai:CiteSeerPSU:168711        Dump No: 17

  658. Title: Unsupervised Learning of Subcategorisation Information and Its Application in a Parsing Subtask        Number of references: 8        ID: oai:CiteSeerPSU:168744        Dump No: 17

  659. Title: Simultaneous Noise Suppression and Signal Compression using a Library of Orthonormal Bases and the Minimum Description Length Criterion        Number of references: 8        ID: oai:CiteSeerPSU:168918        Dump No: 17

  660. Title: Genetic Local Search for the TSP: New Results        Number of references: 8        ID: oai:CiteSeerPSU:168983        Dump No: 17

  661. Title: Towards Predictable ILP Performance - Controlling Communication Buffer Cache Effects        Number of references: 8        ID: oai:CiteSeerPSU:169152        Dump No: 17

  662. Title: A Knowledge-Based Perspective of the Distributed Design of Object Oriented Databases        Number of references: 8        ID: oai:CiteSeerPSU:169225        Dump No: 17

  663. Title: Types that Reflect Changes of Object Usability        Number of references: 8        ID: oai:CiteSeerPSU:169248        Dump No: 17

  664. Title: A Logic Based Framework for Action Theories        Number of references: 8        ID: oai:CiteSeerPSU:169465        Dump No: 17

  665. Title: Payoff-Based Communication Adaptation based on Network Service Availability        Number of references: 8        ID: oai:CiteSeerPSU:169608        Dump No: 17

  666. Title: Database Selection Techniques for Routing Bibliographic Queries        Number of references: 8        ID: oai:CiteSeerPSU:169648        Dump No: 17

  667. Title: A Dynamic Approach to Improve the Accuracy of Data Speculation        Number of references: 8        ID: oai:CiteSeerPSU:169698        Dump No: 17

  668. Title: Cognition, Situatedness, and Situated Design        Number of references: 8        ID: oai:CiteSeerPSU:169939        Dump No: 17

  669. Title: A client oriented, IP level redirection mechanism        Number of references: 8        ID: oai:CiteSeerPSU:170035        Dump No: 18

  670. Title: The Flux OS Toolkit: Reusable Components for OS Implementation        Number of references: 8        ID: oai:CiteSeerPSU:170038        Dump No: 18

  671. Title: Generic Interfaces for Formal Development Support Tools        Number of references: 8        ID: oai:CiteSeerPSU:170128        Dump No: 18

  672. Title: Multiresolution Implicit Representation of 3D Objects        Number of references: 8        ID: oai:CiteSeerPSU:170327        Dump No: 18

  673. Title: Correct Modification of Complex Plans        Number of references: 8        ID: oai:CiteSeerPSU:170371        Dump No: 18

  674. Title: Object Recognition with a Sparse and Autonomously Learned Representation Based on Banana Wavelets        Number of references: 8        ID: oai:CiteSeerPSU:171202        Dump No: 18

  675. Title: A User-Level Process Package for PVM        Number of references: 8        ID: oai:CiteSeerPSU:171242        Dump No: 18

  676. Title: Logical Aspects of Set Constraints        Number of references: 8        ID: oai:CiteSeerPSU:171245        Dump No: 18

  677. Title: Large-Scale Interoperability of Legacy Object Bases        Number of references: 8        ID: oai:CiteSeerPSU:171252        Dump No: 18

  678. Title: A Syntactic Approach to Inferring the Life-Time of Data-Regions        Number of references: 8        ID: oai:CiteSeerPSU:171678        Dump No: 18

  679. Title: Automated Theorem Proving by Test Set Induction        Number of references: 8        ID: oai:CiteSeerPSU:171829        Dump No: 18

  680. Title: Progress Report 1: Sources on Connectionist Natural Language Processing        Number of references: 8        ID: oai:CiteSeerPSU:172474        Dump No: 18

  681. Title: The Enterprise Model for Developing Distributed Applications        Number of references: 8        ID: oai:CiteSeerPSU:172789        Dump No: 18

  682. Title: High Performance Web-server Systems        Number of references: 8        ID: oai:CiteSeerPSU:172943        Dump No: 18

  683. Title: A Unified Framework for Cohesion Measurement in Object-Oriented Systems        Number of references: 8        ID: oai:CiteSeerPSU:172978        Dump No: 18

  684. Title: Towards Improving Case Adaptability with a Genetic Algorithm        Number of references: 8        ID: oai:CiteSeerPSU:173187        Dump No: 18

  685. Title: Tally NP Sets and Easy Census Functions        Number of references: 8        ID: oai:CiteSeerPSU:173194        Dump No: 18

  686. Title: Parallel Ant Colonies for Combinatorial Optimization Problems        Number of references: 8        ID: oai:CiteSeerPSU:173264        Dump No: 18

  687. Title: Parallel Data Mining for Association Rules on Shared-memory Multi-processors        Number of references: 8        ID: oai:CiteSeerPSU:173464        Dump No: 18

  688. Title: Configurable Recovery for Cooperative Design Transactions        Number of references: 8        ID: oai:CiteSeerPSU:173852        Dump No: 18

  689. Title: Exploiting Structural Information for Text Classification on the WWW        Number of references: 8        ID: oai:CiteSeerPSU:173894        Dump No: 18

  690. Title: PSMs do IT! - Summary of track on Sharable and Reusable Problem-Solving Methods of the 10th KAW'96, Banff, Canada        Number of references: 8        ID: oai:CiteSeerPSU:173944        Dump No: 18

  691. Title: Verifying Hybrid Systems        Number of references: 8        ID: oai:CiteSeerPSU:174012        Dump No: 18

  692. Title: Self-Stabilization by Local Checking and Global Reset (Extended Abstract)        Number of references: 8        ID: oai:CiteSeerPSU:174409        Dump No: 18

  693. Title: Recognizing Promoters in DNA Using Bayesian Neural Networks        Number of references: 8        ID: oai:CiteSeerPSU:174424        Dump No: 18

  694. Title: Reducing File System Latency using a Predictive Approach        Number of references: 8        ID: oai:CiteSeerPSU:174581        Dump No: 18

  695. Title: Verification of Large State/Event Systems using Compositionality and Dependency Analysis        Number of references: 8        ID: oai:CiteSeerPSU:174611        Dump No: 18

  696. Title: Worst-Case Execution Time Analysis for Modern Hardware Architectures        Number of references: 8        ID: oai:CiteSeerPSU:174672        Dump No: 18

  697. Title: Detection And Optimization Of Suspension-Free Logic Programs        Number of references: 8        ID: oai:CiteSeerPSU:174769        Dump No: 18

  698. Title: How to Privatize Random Bits        Number of references: 8        ID: oai:CiteSeerPSU:174773        Dump No: 18

  699. Title: Alternating-time Temporal Logic        Number of references: 8        ID: oai:CiteSeerPSU:174802        Dump No: 18

  700. Title: Recent Results and Mathematical Methods for Functional Approximation by Neural Networks        Number of references: 8        ID: oai:CiteSeerPSU:174869        Dump No: 18

  701. Title: Techniques for improving the throughput of VBR streams        Number of references: 8        ID: oai:CiteSeerPSU:175004        Dump No: 18

  702. Title: Heuristics for the MinLA Problem: Some Theoretical and Empirical Considerations        Number of references: 8        ID: oai:CiteSeerPSU:175076        Dump No: 18

  703. Title: Performance Evaluation of an Inter-Stream Adaptation Algorithm for Multimedia Communications        Number of references: 8        ID: oai:CiteSeerPSU:175149        Dump No: 18

  704. Title: A Fast Quantum Mechanical Algorithm for Database Search        Number of references: 8        ID: oai:CiteSeerPSU:175549        Dump No: 18

  705. Title: Dynamic Voting for Consistent Primary Components        Number of references: 8        ID: oai:CiteSeerPSU:176443        Dump No: 18

  706. Title: Soar-RWA: Planning, Teamwork, and Intelligent Behavior for Synthetic Rotary Wing Aircraft        Number of references: 8        ID: oai:CiteSeerPSU:176519        Dump No: 18

  707. Title: Polynomial-Time Semi-Rankable Sets        Number of references: 8        ID: oai:CiteSeerPSU:176842        Dump No: 18

  708. Title: A Comparison of Different Refiners for Hierarchical Radiosity        Number of references: 8        ID: oai:CiteSeerPSU:177016        Dump No: 18

  709. Title: Homomorphic Wavelet Shrinkage and Feature Emphasis for Speckle Reduction and Enhancement of Echocardiographic Images        Number of references: 8        ID: oai:CiteSeerPSU:177177        Dump No: 18

  710. Title: An Anti-Aliasing Technique for Splatting        Number of references: 8        ID: oai:CiteSeerPSU:177524        Dump No: 18

  711. Title: Interactive Visualization of Implicit Surfaces with Singularities        Number of references: 8        ID: oai:CiteSeerPSU:177607        Dump No: 18

  712. Title: Content-Based Queries in Image Databases        Number of references: 8        ID: oai:CiteSeerPSU:180103        Dump No: 19

  713. Title: Justification Structures for Document Reuse        Number of references: 8        ID: oai:CiteSeerPSU:180256        Dump No: 19

  714. Title: Joint Probabilistic Techniques for Tracking Objects Using Multiple Visual Cues        Number of references: 8        ID: oai:CiteSeerPSU:180261        Dump No: 19

  715. Title: Adaptive sparse grid multilevel methods for elliptic PDEs based on finite differences        Number of references: 8        ID: oai:CiteSeerPSU:190150        Dump No: 20

  716. Title: Content-Based Image Retrieval With Relevance Feedback In Mars        Number of references: 8        ID: oai:CiteSeerPSU:190735        Dump No: 20

  717. Title: Wavelet-Based Rician Noise Removal for Magnetic Resonance Imaging        Number of references: 8        ID: oai:CiteSeerPSU:190838        Dump No: 20

  718. Title: An Overview of Audio Information Retrieval        Number of references: 8        ID: oai:CiteSeerPSU:190917        Dump No: 20

  719. Title: An Ontology-Based Approach to Parsing Turkish Sentences        Number of references: 8        ID: oai:CiteSeerPSU:190982        Dump No: 20

  720. Title: Theory Refinement Combining Analytical and Empirical Methods        Number of references: 8        ID: oai:CiteSeerPSU:191001        Dump No: 20

  721. Title: Applying the SCR Requirements Method to a Simple Autopilot        Number of references: 8        ID: oai:CiteSeerPSU:191079        Dump No: 20

  722. Title: Global Tagging Optimization by Type Inference        Number of references: 8        ID: oai:CiteSeerPSU:191341        Dump No: 20

  723. Title: Learning with Non-uniform Class and Cost Distributions: Effects and a Distributed Multi-classifier Approach        Number of references: 8        ID: oai:CiteSeerPSU:191435        Dump No: 20

  724. Title: VC Dimension of Neural Networks        Number of references: 8        ID: oai:CiteSeerPSU:191558        Dump No: 20

  725. Title: A Tool for Monitoring Software-Heterogeneous Distributed Object Applications        Number of references: 8        ID: oai:CiteSeerPSU:191587        Dump No: 20

  726. Title: A Confluent Semantic Basis For The Analysis Of Concurrent Constraint Logic Programs        Number of references: 8        ID: oai:CiteSeerPSU:191776        Dump No: 20

  727. Title: On the Induction of Intelligible Ensembles        Number of references: 8        ID: oai:CiteSeerPSU:191864        Dump No: 20

  728. Title: Future Work and Practical Applications of Genetic Programming        Number of references: 8        ID: oai:CiteSeerPSU:191934        Dump No: 20

  729. Title: Optimization of chemical engineering process structures by means of Evolutionary Algorithms        Number of references: 8        ID: oai:CiteSeerPSU:201004        Dump No: 21

  730. Title: A Group Communication Protocol for CORBA        Number of references: 8        ID: oai:CiteSeerPSU:201277        Dump No: 21

  731. Title: 3-D Imaging And Compression - Synthetic Hybrid Or Natural Fit?        Number of references: 8        ID: oai:CiteSeerPSU:201306        Dump No: 21

  732. Title: On Non-Binary Temporal Relations        Number of references: 8        ID: oai:CiteSeerPSU:201635        Dump No: 21

  733. Title: Model based Bayesian Exploration        Number of references: 8        ID: oai:CiteSeerPSU:201945        Dump No: 21

  734. Title: A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks        Number of references: 16        ID: oai:CiteSeerPSU:314928        Dump No: 32

  735. Title: Utilitarian Desires        Number of references: 16        ID: oai:CiteSeerPSU:315127        Dump No: 32

  736. Title: Serpent: A Proposal for the Advanced Encryption Standard        Number of references: 16        ID: oai:CiteSeerPSU:315610        Dump No: 32

  737. Title: An Indexed Bibliography of Genetic Algorithms and Simulated Annealing: Hybrids and Comparisons        Number of references: 16        ID: oai:CiteSeerPSU:315923        Dump No: 32

  738. Title: Static Analysis for the pi-calculus with Applications to Security        Number of references: 16        ID: oai:CiteSeerPSU:316049        Dump No: 32

  739. Title: pCube: Update-Efficient Online Aggregation with Progressive Feedback and Error Bounds        Number of references: 16        ID: oai:CiteSeerPSU:317445        Dump No: 32

  740. Title: The Perceptive Workbench: Toward Spontaneous and Natural Interaction in SemiImmersive Virtual Environments        Number of references: 16        ID: oai:CiteSeerPSU:317648        Dump No: 32

  741. Title: The Shape of the Web and Its Implications for Searching the Web        Number of references: 16        ID: oai:CiteSeerPSU:317732        Dump No: 32

  742. Title: Extending TALplanner with Concurrency and Resources        Number of references: 16        ID: oai:CiteSeerPSU:318063        Dump No: 32

  743. Title: A Scalable Architecture for Active Networks        Number of references: 16        ID: oai:CiteSeerPSU:318979        Dump No: 32

  744. Title: Mix and Match: Secure Function Evaluation via Ciphertexts (Extended Abstract)        Number of references: 16        ID: oai:CiteSeerPSU:320169        Dump No: 33

  745. Title: Managing Virtual Circuit and Virtual Path Services on ATM Networks with Quality of Service Guarantees        Number of references: 16        ID: oai:CiteSeerPSU:320547        Dump No: 33

  746. Title: Transactions and Zero-Safe Nets        Number of references: 16        ID: oai:CiteSeerPSU:322602        Dump No: 33

  747. Title: A Quality of Service Architecture that Combines Resource Reservation and Application Adaptation        Number of references: 16        ID: oai:CiteSeerPSU:322752        Dump No: 33

  748. Title: How to decide Query Containment under Constraints using a Description Logic        Number of references: 16        ID: oai:CiteSeerPSU:324803        Dump No: 33

  749. Title: Pre- and Post Selection of Compiler Optimizations by Program Execution        Number of references: 16        ID: oai:CiteSeerPSU:325210        Dump No: 33

  750. Title: Interprocedural Pointer Alias Analysis        Number of references: 16        ID: oai:CiteSeerPSU:326272        Dump No: 33

  751. Title: Algebraic Software Architecture Reconfiguration        Number of references: 16        ID: oai:CiteSeerPSU:327034        Dump No: 33

  752. Title: Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems using Joint Intentions        Number of references: 16        ID: oai:CiteSeerPSU:327079        Dump No: 33

  753. Title: Rewriting Histories: Recovering from Malicious Transactions        Number of references: 16        ID: oai:CiteSeerPSU:327434        Dump No: 33

  754. Title: Optimization-Based Congestion Control for Multicast Communications        Number of references: 16        ID: oai:CiteSeerPSU:328007        Dump No: 33

  755. Title: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories        Number of references: 16        ID: oai:CiteSeerPSU:328466        Dump No: 33

  756. Title: TCP-Friendly Marking for Scalable Best-Effort Services on the Internet        Number of references: 16        ID: oai:CiteSeerPSU:328848        Dump No: 33

  757. Title: Efficient Rule-Based Attribute-Oriented Induction for Data Mining        Number of references: 16        ID: oai:CiteSeerPSU:328913        Dump No: 33

  758. Title: A Collaborative Environment for Authoring Large Knowledge Bases        Number of references: 16        ID: oai:CiteSeerPSU:328940        Dump No: 33

  759. Title: IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems        Number of references: 16        ID: oai:CiteSeerPSU:329732        Dump No: 33

  760. Title: Evaluating Design Alternatives for Reliable Communication on High-Speed Networks        Number of references: 16        ID: oai:CiteSeerPSU:330016        Dump No: 34

  761. Title: Mechanized Formal Methods: Progress and Prospects        Number of references: 16        ID: oai:CiteSeerPSU:330452        Dump No: 34

  762. Title: Extended Dynamic Dependent And-parallelism in ACE        Number of references: 16        ID: oai:CiteSeerPSU:330910        Dump No: 34

  763. Title: Comparison of Adaptive Internet Multimedia Applications        Number of references: 16        ID: oai:CiteSeerPSU:331270        Dump No: 34

  764. Title: Approximation Algorithms for Solving Cost Observable Markov Decision Processes        Number of references: 16        ID: oai:CiteSeerPSU:331675        Dump No: 34

  765. Title: Learning the Face Space - Representation and Recognition        Number of references: 16        ID: oai:CiteSeerPSU:332853        Dump No: 34

  766. Title: Evaluating a Focus+Context Zoom Interface in Complement with Hypertext as a Program Understanding Tool        Number of references: 16        ID: oai:CiteSeerPSU:333523        Dump No: 34

  767. Title: Automatic Labeling of Semantic Roles        Number of references: 16        ID: oai:CiteSeerPSU:333834        Dump No: 34

  768. Title: Improved Boosting Algorithms Using Confidence-rated Predictions        Number of references: 16        ID: oai:CiteSeerPSU:334263        Dump No: 34

  769. Title: Automatic Selection of Visual Features and Classifiers        Number of references: 16        ID: oai:CiteSeerPSU:334520        Dump No: 34

  770. Title: Implementation Issues for Functional Logic Programming        Number of references: 16        ID: oai:CiteSeerPSU:335975        Dump No: 34

  771. Title: Parallel Two Level Block ILU Preconditioning Techniques for Solving Large Sparse Linear Systems        Number of references: 16        ID: oai:CiteSeerPSU:336234        Dump No: 34

  772. Title: Integrating Spatial Information And Image Analysis - One Plus One Makes Ten        Number of references: 16        ID: oai:CiteSeerPSU:338183        Dump No: 34

  773. Title: Capturing and Querying Multiple Aspects of Semistructured Data        Number of references: 16        ID: oai:CiteSeerPSU:341590        Dump No: 35

  774. Title: Some Lambda Calculus and Type Theory Formalized        Number of references: 16        ID: oai:CiteSeerPSU:342020        Dump No: 35

  775. Title: Adaptive Software: Automatic Navigation Through Partially Specified Data Structures        Number of references: 16        ID: oai:CiteSeerPSU:342066        Dump No: 35

  776. Title: Ruminations on the Implications of Multi-Resolution Modeling on DIS/HLA        Number of references: 16        ID: oai:CiteSeerPSU:342594        Dump No: 35

  777. Title: Probabilistic End-to-End Delay Bounds for Earliest Deadline First Scheduling        Number of references: 16        ID: oai:CiteSeerPSU:344912        Dump No: 35

  778. Title: The Average Availability of Parallel Checkpointing Systems and Its Importance in Selecting Runtime Parameters        Number of references: 16        ID: oai:CiteSeerPSU:347681        Dump No: 35

  779. Title: Normal Meshes        Number of references: 16        ID: oai:CiteSeerPSU:348801        Dump No: 35

  780. Title: Code Growth in Genetic Programming        Number of references: 16        ID: oai:CiteSeerPSU:349518        Dump No: 35

  781. Title: Expressing Irregular Computations in Modern Fortran Dialects        Number of references: 16        ID: oai:CiteSeerPSU:352011        Dump No: 36

  782. Title: Calibration Requirements and Procedures for a Monitor-Based Augmented Reality System        Number of references: 16        ID: oai:CiteSeerPSU:352033        Dump No: 36

  783. Title: Charlotte: Metacomputing on the Web        Number of references: 16        ID: oai:CiteSeerPSU:353279        Dump No: 36

  784. Title: Ray Casting Architectures for Volume Visualization        Number of references: 16        ID: oai:CiteSeerPSU:355219        Dump No: 36

  785. Title: Self-Testing of Universal and Fault-Tolerant Sets of Quantum Gates        Number of references: 16        ID: oai:CiteSeerPSU:357099        Dump No: 36

  786. Title: Costing Parallel Programs as a Function of Shapes        Number of references: 16        ID: oai:CiteSeerPSU:357724        Dump No: 36

  787. Title: An Error Handling Framework for the ORBWork Workflow Enactment Service of METEOR        Number of references: 16        ID: oai:CiteSeerPSU:359419        Dump No: 36

  788. Title: Reconfigurable Architectures for General-Purpose Computing        Number of references: 16        ID: oai:CiteSeerPSU:360301        Dump No: 37

  789. Title: Switching State-Space Models        Number of references: 16        ID: oai:CiteSeerPSU:361554        Dump No: 37

  790. Title: A Re-Examination of Text Categorization Methods        Number of references: 16        ID: oai:CiteSeerPSU:361822        Dump No: 37

  791. Title: The Robustness Issue        Number of references: 16        ID: oai:CiteSeerPSU:361993        Dump No: 37

  792. Title: Model-Based Three-Dimensional Freehand Ultrasound Imaging        Number of references: 16        ID: oai:CiteSeerPSU:369204        Dump No: 37

  793. Title: Shape-Optimized Mesh Partitioning and Load Balancing for Parallel Adaptive FEM        Number of references: 16        ID: oai:CiteSeerPSU:373690        Dump No: 38

  794. Title: Automated Deductive Analysis Of Time Critical Systems Based On Methodical Formal Specification        Number of references: 16        ID: oai:CiteSeerPSU:373933        Dump No: 38

  795. Title: The Universal Planar Manipulator        Number of references: 16        ID: oai:CiteSeerPSU:374097        Dump No: 38

  796. Title: Computer Aided Motion: Move3D within MOLOG        Number of references: 16        ID: oai:CiteSeerPSU:374235        Dump No: 38

  797. Title: Towards the Evolutionary Emergence of Increasingly Complex Advantageous Behaviours        Number of references: 16        ID: oai:CiteSeerPSU:376947        Dump No: 38

  798. Title: Planning and Resource Allocation for Hard Real-time, Fault-Tolerant Plan Execution        Number of references: 16        ID: oai:CiteSeerPSU:377375        Dump No: 38

  799. Title: Data-Flow Frameworks for Worst-Case Execution Time Analysis        Number of references: 16        ID: oai:CiteSeerPSU:377893        Dump No: 38

  800. Title: Towards Model Checking Stochastic Process Algebra        Number of references: 16        ID: oai:CiteSeerPSU:378177        Dump No: 38

  801. Title: Sorting Out Signature Schemes        Number of references: 16        ID: oai:CiteSeerPSU:378324        Dump No: 38

  802. Title: Reducing Loads and Stores in Stack Architectures        Number of references: 16        ID: oai:CiteSeerPSU:378471        Dump No: 38

  803. Title: Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages        Number of references: 16        ID: oai:CiteSeerPSU:378520        Dump No: 38

  804. Title: ML-Style Typing, Lambda Lifting, and Partial Evaluation        Number of references: 16        ID: oai:CiteSeerPSU:380299        Dump No: 39

  805. Title: Location Management for Next-Generation Personal Communications Networks        Number of references: 16        ID: oai:CiteSeerPSU:380415        Dump No: 39

  806. Title: Multilevel Mesh Partitioning for Heterogeneous Communication Networks        Number of references: 16        ID: oai:CiteSeerPSU:380420        Dump No: 39

  807. Title: A Source Adaptive Multi-Layered Multicast Algorithm For Internet Video Distribution        Number of references: 16        ID: oai:CiteSeerPSU:380647        Dump No: 39

  808. Title: Weak Bisimilarity between Finite-State Systems and BPA or Normed BPP is Decidable in Polynomial Time        Number of references: 16        ID: oai:CiteSeerPSU:380657        Dump No: 39

  809. Title: Direct Multi-Frame Structure from Motion for Hand-Held Cameras        Number of references: 16        ID: oai:CiteSeerPSU:381068        Dump No: 39

  810. Title: Compiling and Verifying Security Protocols        Number of references: 16        ID: oai:CiteSeerPSU:381449        Dump No: 39

  811. Title: String Operations in Query Languages        Number of references: 16        ID: oai:CiteSeerPSU:381818        Dump No: 39

  812. Title: Texture-Based Statistical Models for Object Detection in Natural Images        Number of references: 16        ID: oai:CiteSeerPSU:382159        Dump No: 39

  813. Title: Adaptive Wavelet Methods II - Beyond the Elliptic Case        Number of references: 16        ID: oai:CiteSeerPSU:383299        Dump No: 39

  814. Title: Real-Time Support in General Purpose Operating Systems        Number of references: 16        ID: oai:CiteSeerPSU:383385        Dump No: 39

  815. Title: Empirical Bayes approach to block wavelet function estimation        Number of references: 16        ID: oai:CiteSeerPSU:384083        Dump No: 39

  816. Title: An Indexed Bibliography of Genetic Algorithms and the Traveling Salesman Problem        Number of references: 16        ID: oai:CiteSeerPSU:384106        Dump No: 39

  817. Title: Parallel Simulation of Parallel I/O Programs        Number of references: 16        ID: oai:CiteSeerPSU:384309        Dump No: 39

  818. Title: Nonmonotone Trust Region Methods for Nonlinear Equality Constrained Optimization without a Penalty Function        Number of references: 16        ID: oai:CiteSeerPSU:384828        Dump No: 39

  819. Title: Generalization in Interactive Networks: The Benefits of Inhibitory Competition and Hebbian Learning        Number of references: 16        ID: oai:CiteSeerPSU:385568        Dump No: 39

  820. Title: Benevolent Agents        Number of references: 16        ID: oai:CiteSeerPSU:385709        Dump No: 39

  821. Title: Preconditioned All-At-Once Methods for Large, Sparse Parameter Estimation Problems        Number of references: 16        ID: oai:CiteSeerPSU:386068        Dump No: 39

  822. Title: Resettable Zero-Knowledge        Number of references: 16        ID: oai:CiteSeerPSU:386143        Dump No: 39

  823. Title: Minimal Kernel Classifiers        Number of references: 16        ID: oai:CiteSeerPSU:387182        Dump No: 39

  824. Title: Efficient Covariance Matrix Methods for Bayesian Gaussian Processes and Hopfield Neural Networks        Number of references: 16        ID: oai:CiteSeerPSU:390372        Dump No: 40

  825. Title: Multichannel Blind Identification: From Subspace to Maximum Likelihood Methods        Number of references: 16        ID: oai:CiteSeerPSU:391866        Dump No: 40

  826. Title: Integrating Architectural Views in UML        Number of references: 16        ID: oai:CiteSeerPSU:393682        Dump No: 40

  827. Title: Understanding Replication in Databases and Distributed Systems        Number of references: 16        ID: oai:CiteSeerPSU:393991        Dump No: 40

  828. Title: On the Generalisation of Soft Margin Algorithms        Number of references: 16        ID: oai:CiteSeerPSU:394468        Dump No: 40

  829. Title: Reasoning with Probabilities, Time And Space        Number of references: 16        ID: oai:CiteSeerPSU:394632        Dump No: 40

  830. Title: Reasoning About Public-Key Certification: On Bindings Between Entities and Public Keys        Number of references: 16        ID: oai:CiteSeerPSU:398558        Dump No: 40

  831. Title: An Efficient Membership-Query Algorithm for Learning DNF with Respect to the Uniform Distribution        Number of references: 16        ID: oai:CiteSeerPSU:399260        Dump No: 40

  832. Title: Towards a Geometric Theory of Hybrid Systems        Number of references: 16        ID: oai:CiteSeerPSU:399286        Dump No: 40

  833. Title: Object-based Collective Communication in Java        Number of references: 16        ID: oai:CiteSeerPSU:400696        Dump No: 41

  834. Title: Efficient Call Handling Procedures in Cellular Mobile Networks        Number of references: 33        ID: oai:CiteSeerPSU:5718        Dump No: 1

  835. Title: A transformation-based optimiser for Haskell        Number of references: 33        ID: oai:CiteSeerPSU:44856        Dump No: 5

  836. Title: Philippe Flajolet's Research In Analysis Of Algorithms And Combinatorics        Number of references: 33        ID: oai:CiteSeerPSU:46734        Dump No: 5

  837. Title: Design Considerations for Distributed Caching on the Internet        Number of references: 33        ID: oai:CiteSeerPSU:78292        Dump No: 8

  838. Title: Genetic Programming in Europe        Number of references: 33        ID: oai:CiteSeerPSU:100148        Dump No: 11

  839. Title: Adaptive Behavior in Autonomous Agents        Number of references: 33        ID: oai:CiteSeerPSU:215664        Dump No: 22

  840. Title: Path-Sensitive Value-Flow Optimizations        Number of references: 33        ID: oai:CiteSeerPSU:250425        Dump No: 26

  841. Title: Data Currency Quality Factors in Data Warehouse Design        Number of references: 33        ID: oai:CiteSeerPSU:264729        Dump No: 27

  842. Title: Hierarchical Levels Of Detail Toaccelerate The Rendering Of Large Static And Dynamic Polygonal Environments        Number of references: 33        ID: oai:CiteSeerPSU:303158        Dump No: 31

  843. Title: Algorithms and Software for LMI Problems in Control        Number of references: 33        ID: oai:CiteSeerPSU:307367        Dump No: 31

  844. Title: Constraint Logic Programming: A Survey        Number of references: 33        ID: oai:CiteSeerPSU:334926        Dump No: 34

  845. Title: Default reasoning from conditional knowledge bases: Complexity and . . .        Number of references: 33        ID: oai:CiteSeerPSU:374118        Dump No: 38

  846. Title: Planning Agents in James        Number of references: 33        ID: oai:CiteSeerPSU:453428        Dump No: 46

  847. Title: A Framework for Multi-Notation, Model-Oriented Requirements Analysis        Number of references: 33        ID: oai:CiteSeerPSU:464177        Dump No: 47

  848. Title: Achieving Robust Performance in Parallel Programming Languages        Number of references: 33        ID: oai:CiteSeerPSU:489382        Dump No: 49

  849. Title: General-Purpose Architecture Instruction Scheduling Techniques        Number of references: 33        ID: oai:CiteSeerPSU:496055        Dump No: 50

  850. Title: Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases        Number of references: 33        ID: oai:CiteSeerPSU:533540        Dump No: 54

  851. Title: Reconfigurable Computing Systems        Number of references: 33        ID: oai:CiteSeerPSU:551938        Dump No: 56

  852. Title: The Acquisition of a Unification-Based Generalised Categorial Grammar        Number of references: 33        ID: oai:CiteSeerPSU:583509        Dump No: 59

  853. Title: Hybrid Argumentation Systems for Structured News Reports        Number of references: 33        ID: oai:CiteSeerPSU:628935        Dump No: 63

  854. Title: Artificial Intelligence Technologies in Complex Engineering Design        Number of references: 33        ID: oai:CiteSeerPSU:632871        Dump No: 64

  855. Title: The Design and Analysis of Bulk-Synchronous Parallel Algorithms        Number of references: 33        ID: oai:CiteSeerPSU:635905        Dump No: 64

  856. Title: Conflict-Aware Replication for Dynamic Content Web Sites        Number of references: 33        ID: oai:CiteSeerPSU:670366        Dump No: 68

  857. Title: Harmonic Modeling for Polyphonic Music Retrieval        Number of references: 33        ID: oai:CiteSeerPSU:680787        Dump No: 69

  858. Title: Flip Zooming        Number of references: 33        ID: oai:CiteSeerPSU:681674        Dump No: 69

  859. Title: Efficient Querying Of Constantly Evolving Data        Number of references: 33        ID: oai:CiteSeerPSU:690901        Dump No: 70

  860. Title: Ren e Esteban Vidal        Number of references: 33        ID: oai:CiteSeerPSU:705298        Dump No: 71

  861. Title: Automatic Software Upgrades For Distributed Systems        Number of references: 33        ID: oai:CiteSeerPSU:712250        Dump No: 72

  862. Title: Background to Qualitative Decision Theory        Number of references: 31        ID: oai:CiteSeerPSU:29172        Dump No: 3

  863. Title: CPS Translations and Applications: The Cube and Beyond        Number of references: 31        ID: oai:CiteSeerPSU:62855        Dump No: 7

  864. Title: Compiling for the Multiscalar Architecture        Number of references: 31        ID: oai:CiteSeerPSU:102105        Dump No: 11

  865. Title: Specifying Communication in Distributed Information Systems        Number of references: 31        ID: oai:CiteSeerPSU:125813        Dump No: 13

  866. Title: Categorial Type Logics        Number of references: 31        ID: oai:CiteSeerPSU:155640        Dump No: 16

  867. Title: A Petri Net Approach for the Performance Analysis of Business Processes        Number of references: 31        ID: oai:CiteSeerPSU:193665        Dump No: 20

  868. Title: Knowledge Maintenance: the State of the Art        Number of references: 31        ID: oai:CiteSeerPSU:195221        Dump No: 20

  869. Title: Software Synthesis and Code Generation for Signal Processing Systems        Number of references: 31        ID: oai:CiteSeerPSU:231171        Dump No: 24

  870. Title: Rewriting of Regular Expressions and Regular Path Queries        Number of references: 31        ID: oai:CiteSeerPSU:235029        Dump No: 24

  871. Title: Specifying and Using a Partitionable Group Communication Service        Number of references: 31        ID: oai:CiteSeerPSU:308137        Dump No: 31

  872. Title: Using Types to Analyze and Optimize Object-Oriented Programs        Number of references: 31        ID: oai:CiteSeerPSU:327135        Dump No: 33

  873. Title: Survey of Parallel Volume Rendering Algorithms: References        Number of references: 31        ID: oai:CiteSeerPSU:392425        Dump No: 40

  874. Title: Forward Rasterization: A Reconstruction Algorithm for Image-Based Rendering        Number of references: 31        ID: oai:CiteSeerPSU:444234        Dump No: 45

  875. Title: Shape Recovery Algorithms Using Level Sets in 2-D/3-D Medical Imagery: A State-of-the-Art Review        Number of references: 31        ID: oai:CiteSeerPSU:461579        Dump No: 47

  876. Title: Fingerprint Classification and Matching Using a Filterbank        Number of references: 31        ID: oai:CiteSeerPSU:482312        Dump No: 49

  877. Title: A Hybrid Model For Sharing Information Between Fuzzy, Uncertain And Default Reasoning Models In Multi-Agent Systems        Number of references: 31        ID: oai:CiteSeerPSU:512772        Dump No: 52

  878. Title: Solution of Delayed Reinforcement Learning Problems Having Continuous Action Spaces        Number of references: 31        ID: oai:CiteSeerPSU:537952        Dump No: 54

  879. Title: Complexity of Nested Circumscription and Nested Abnormality Theories        Number of references: 31        ID: oai:CiteSeerPSU:538814        Dump No: 54

  880. Title: Coevolutionary Fuzzy Modeling        Number of references: 31        ID: oai:CiteSeerPSU:569226        Dump No: 57

  881. Title: The Quadratic Eigenvalue Problem        Number of references: 31        ID: oai:CiteSeerPSU:602173        Dump No: 61

  882. Title: Discrete-Event Simulation on the Bulk-Synchronous Parallel Model        Number of references: 31        ID: oai:CiteSeerPSU:672565        Dump No: 68

  883. Title: Knowledge Representation and Reasoning for Mixed-Initiative Planning        Number of references: 34        ID: oai:CiteSeerPSU:52555        Dump No: 6

  884. Title: Frequent query discovery: a unifying ILP approach to association rule mining        Number of references: 34        ID: oai:CiteSeerPSU:192387        Dump No: 20

  885. Title: Properties Of Age-Based Automatic Memory Reclamation Algorithms        Number of references: 34        ID: oai:CiteSeerPSU:232067        Dump No: 24

  886. Title: Dynamic and Compiled Communication in Optical Time-Division-Multiplexed Point-to-Point Networks        Number of references: 34        ID: oai:CiteSeerPSU:260469        Dump No: 27

  887. Title: Heuristic Search Planning with BDDs        Number of references: 34        ID: oai:CiteSeerPSU:301014        Dump No: 31

  888. Title: A Model of Multimedia Information Retrieval        Number of references: 34        ID: oai:CiteSeerPSU:306894        Dump No: 31

  889. Title: On Hybrid Control of Complex Systems: A Survey        Number of references: 34        ID: oai:CiteSeerPSU:392197        Dump No: 40

  890. Title: Optimizing Incremental View Maintenance Expressions in Relational Databases        Number of references: 34        ID: oai:CiteSeerPSU:418456        Dump No: 42

  891. Title: Prosodic Modeling for Improved Speech Recognition and Understanding        Number of references: 34        ID: oai:CiteSeerPSU:452055        Dump No: 46

  892. Title: Wavelets in Computer Graphics        Number of references: 34        ID: oai:CiteSeerPSU:501730        Dump No: 51

  893. Title: Assigning Types to Processes        Number of references: 34        ID: oai:CiteSeerPSU:508996        Dump No: 51

  894. Title: A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms        Number of references: 34        ID: oai:CiteSeerPSU:596379        Dump No: 60

  895. Title: Human Factors in Visualization Research        Number of references: 34        ID: oai:CiteSeerPSU:648673        Dump No: 65

  896. Title: Flow Analysis for Verifying Properties of Concurrent Software        Number of references: 34        ID: oai:CiteSeerPSU:681773        Dump No: 69

  897. Title: For Disconnected Cooperation        Number of references: 34        ID: oai:CiteSeerPSU:683644        Dump No: 69

  898. Title: Conferencing and Collaborative Computing        Number of references: 30        ID: oai:CiteSeerPSU:13263        Dump No: 2

  899. Title: How to Declare an Imperative        Number of references: 30        ID: oai:CiteSeerPSU:23610        Dump No: 3

  900. Title: Integrating Case-Based Learning and Cognitive Biases for Machine Learning of Natural Language        Number of references: 30        ID: oai:CiteSeerPSU:75585        Dump No: 8

  901. Title: Software and Hardware Requirements for Some Applications of Parallel Computing to Industrial Problems        Number of references: 30        ID: oai:CiteSeerPSU:104858        Dump No: 11

  902. Title: Performance Analysis of Link Carrying Capacity in CDMA Systems        Number of references: 30        ID: oai:CiteSeerPSU:107678        Dump No: 11

  903. Title: The Multiscalar Architecture        Number of references: 30        ID: oai:CiteSeerPSU:115871        Dump No: 12

  904. Title: Datacube: Its Implementation and Application in OLAP Mining        Number of references: 30        ID: oai:CiteSeerPSU:117082        Dump No: 12

  905. Title: The Boyer-Moore Theorem Prover and Its Interactive Enhancement        Number of references: 30        ID: oai:CiteSeerPSU:126336        Dump No: 13

  906. Title: 35 Kinds of Knowledge Maintenance        Number of references: 30        ID: oai:CiteSeerPSU:149834        Dump No: 15

  907. Title: Talking Heads: Physical, Linguistic and Cognitive Issues in Facial Animation        Number of references: 30        ID: oai:CiteSeerPSU:154661        Dump No: 16

  908. Title: Issues in the Design of Direct Multiprocessor Networks        Number of references: 30        ID: oai:CiteSeerPSU:162906        Dump No: 17

  909. Title: Master Thesis        Number of references: 30        ID: oai:CiteSeerPSU:164637        Dump No: 17

  910. Title: Parallel Algorithmic Techniques: PRAM Algorithms And PRAM Simulations        Number of references: 30        ID: oai:CiteSeerPSU:164661        Dump No: 17

  911. Title: Nonmonotonity in Linguistics        Number of references: 30        ID: oai:CiteSeerPSU:252069        Dump No: 26

  912. Title: Reconfigurable Computing: Architectures, Models and Algorithms        Number of references: 30        ID: oai:CiteSeerPSU:295261        Dump No: 30

  913. Title: alto: A Platform for Object Code Modification        Number of references: 30        ID: oai:CiteSeerPSU:315062        Dump No: 32

  914. Title: Locally Adaptive Dimensionality Reduction for Indexing Large Time Series Databases        Number of references: 30        ID: oai:CiteSeerPSU:419052        Dump No: 42

  915. Title: A Decentralised Architecture for Group Key Management        Number of references: 30        ID: oai:CiteSeerPSU:421607        Dump No: 43

  916. Title: On Updates of Logic Programs: Semantics and Properties        Number of references: 30        ID: oai:CiteSeerPSU:438380        Dump No: 44

  917. Title: Security Goals: Packet Trajectories and Strand Spaces        Number of references: 30        ID: oai:CiteSeerPSU:460527        Dump No: 47

  918. Title: A Data Warehouse Multidimensional Data Models Classification        Number of references: 30        ID: oai:CiteSeerPSU:490251        Dump No: 50

  919. Title: Perceptual Watermarks for Digital Images and Video        Number of references: 30        ID: oai:CiteSeerPSU:538765        Dump No: 54

  920. Title: Closing the Loop Between Articulated Motion and Stereo Vision: A Projective Approach        Number of references: 30        ID: oai:CiteSeerPSU:538874        Dump No: 54

  921. Title: Database Selection Using Actual Physical and Acquired Logical Collection Resources in a Massive Domain-specific Operational Environment        Number of references: 30        ID: oai:CiteSeerPSU:541766        Dump No: 55

  922. Title: On Quantum Computation Theory        Number of references: 30        ID: oai:CiteSeerPSU:546978        Dump No: 55

  923. Title: Multi-View Coding for Image-based Rendering using 3-D Scene Geometry        Number of references: 30        ID: oai:CiteSeerPSU:555866        Dump No: 56

  924. Title: Mass: Multiresolutional Adaptive Solid Subdivision        Number of references: 30        ID: oai:CiteSeerPSU:568509        Dump No: 57

  925. Title: A Probabilistic Approach for the Adaptive Integration of Multiple Visual Cues Using an Agent Framework        Number of references: 30        ID: oai:CiteSeerPSU:571221        Dump No: 58

  926. Title: Optimized Query Execution in Large Search Engines with Global Page Ordering        Number of references: 30        ID: oai:CiteSeerPSU:582213        Dump No: 59

  927. Title: Isotropic Surface Remeshing        Number of references: 30        ID: oai:CiteSeerPSU:584537        Dump No: 59

  928. Title: Recent Developments in Non-Markovian Stochastic Petri Nets        Number of references: 30        ID: oai:CiteSeerPSU:621310        Dump No: 63

  929. Title: Chapter 16        Number of references: 30        ID: oai:CiteSeerPSU:640555        Dump No: 65

  930. Title: Cooperative Information Gathering: A Distributed Problem Solving Approach        Number of references: 35        ID: oai:CiteSeerPSU:9997        Dump No: 1

  931. Title: The CCLRC HPCI Centre at Daresbury Laboratory        Number of references: 35        ID: oai:CiteSeerPSU:17283        Dump No: 2

  932. Title: Hive: Operating System Fault Containment For Shared-Memory Multiprocessors        Number of references: 35        ID: oai:CiteSeerPSU:48573        Dump No: 5

  933. Title: Implementation Issues for Reverse Hillclimbing        Number of references: 35        ID: oai:CiteSeerPSU:53471        Dump No: 6

  934. Title: Open Service Support for ATM        Number of references: 35        ID: oai:CiteSeerPSU:109269        Dump No: 11

  935. Title: A ProCoS II Project Final Report: ESPRIT Basic Research project 7071        Number of references: 35        ID: oai:CiteSeerPSU:184587        Dump No: 19

  936. Title: Timed Automata        Number of references: 35        ID: oai:CiteSeerPSU:203146        Dump No: 21

  937. Title: Dynamically Discovering Likely Program Invariants to Support Program Evolution        Number of references: 35        ID: oai:CiteSeerPSU:292512        Dump No: 30

  938. Title: Lattice Reduction in Cryptology: An Update        Number of references: 35        ID: oai:CiteSeerPSU:296791        Dump No: 30

  939. Title: Delegation Logic: A Logic-based Approach to Distributed Authorization        Number of references: 35        ID: oai:CiteSeerPSU:425758        Dump No: 43

  940. Title: Fault Tolerance in Critical Information Systems        Number of references: 35        ID: oai:CiteSeerPSU:442558        Dump No: 45

  941. Title: Managing Communicative Intentions in Dialogue Using a Collaborative Problem-Solving Model        Number of references: 35        ID: oai:CiteSeerPSU:533748        Dump No: 54

  942. Title: Sentence 782 of The New C Standard        Number of references: 35        ID: oai:CiteSeerPSU:566694        Dump No: 57

  943. Title: Analysis of Predictive Spatio-Temporal Queries        Number of references: 35        ID: oai:CiteSeerPSU:592549        Dump No: 60

  944. Title: Volume 22 (2003), Number 2, yet unknown pages        Number of references: 35        ID: oai:CiteSeerPSU:636271        Dump No: 64

  945. Title: Pilot Assisted Wireless Transmissions +        Number of references: 35        ID: oai:CiteSeerPSU:655022        Dump No: 66

  946. Title: Power Control and Adaptive Resource Allocation in DS-CDMA Systems        Number of references: 35        ID: oai:CiteSeerPSU:688224        Dump No: 69

  947. Title: The Design and Performance of an I/O Subsystem for Real-time ORB Endsystem Middleware        Number of references: 29        ID: oai:CiteSeerPSU:3327        Dump No: 1

  948. Title: Compiling Haskell by program transformation: a report from the trenches        Number of references: 29        ID: oai:CiteSeerPSU:5706        Dump No: 1

  949. Title: Admission Control for Statistical QoS: Theory and Practice        Number of references: 29        ID: oai:CiteSeerPSU:18063        Dump No: 2

  950. Title: Nonlinear Array Layouts for Hierarchical Memory Systems        Number of references: 29        ID: oai:CiteSeerPSU:18339        Dump No: 2

  951. Title: Incremental Maintenance for Materialized Views over Semistructured Data        Number of references: 29        ID: oai:CiteSeerPSU:22778        Dump No: 3

  952. Title: Portable Library Support for Irregular Applications        Number of references: 29        ID: oai:CiteSeerPSU:39960        Dump No: 4

  953. Title: Statistical Modelling of Time Series Using Non-Decimated Wavelet Representations        Number of references: 29        ID: oai:CiteSeerPSU:51846        Dump No: 6

  954. Title: From SAB90 to SAB94 : Four Years of Animat Research        Number of references: 29        ID: oai:CiteSeerPSU:74285        Dump No: 8

  955. Title: Performance Issues in Mobile Wireless Networks        Number of references: 29        ID: oai:CiteSeerPSU:98467        Dump No: 10

  956. Title: Conferencing and Collaborative Computing        Number of references: 29        ID: oai:CiteSeerPSU:136209        Dump No: 14

  957. Title: Evolutionary Computation        Number of references: 29        ID: oai:CiteSeerPSU:194909        Dump No: 20

  958. Title: E4 - Machine Learning        Number of references: 29        ID: oai:CiteSeerPSU:205450        Dump No: 21

  959. Title: From Conceptual Modelling to Requirements Engineering        Number of references: 29        ID: oai:CiteSeerPSU:271709        Dump No: 28

  960. Title: ÁJava: Embedding a Programming Language in a Theorem Prover        Number of references: 29        ID: oai:CiteSeerPSU:293113        Dump No: 30

  961. Title: Effective Synthesis of Switching Controllers for Linear Systems        Number of references: 29        ID: oai:CiteSeerPSU:298781        Dump No: 30

  962. Title: Monte-Carlo Methods In Global Illumination        Number of references: 29        ID: oai:CiteSeerPSU:320451        Dump No: 33

  963. Title: An Agent-Based Approach to Building Multidisciplinary Problem Solving Environments        Number of references: 29        ID: oai:CiteSeerPSU:354934        Dump No: 36

  964. Title: Hybrid Neural Systems        Number of references: 29        ID: oai:CiteSeerPSU:363488        Dump No: 37

  965. Title: A Survey of the Quadratic Eigenvalue Problem        Number of references: 29        ID: oai:CiteSeerPSU:375011        Dump No: 38

  966. Title: Recent Developments in Non-Markovian Stochastic Petri Nets        Number of references: 29        ID: oai:CiteSeerPSU:432758        Dump No: 44

  967. Title: Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification        Number of references: 29        ID: oai:CiteSeerPSU:500760        Dump No: 51

  968. Title: Is It Possible to Decide Whether a Cryptographic Protocol is Secure Or Not?        Number of references: 29        ID: oai:CiteSeerPSU:505835        Dump No: 51

  969. Title: Enhancing Network Object Caches through Cross-Domain Cooperation        Number of references: 29        ID: oai:CiteSeerPSU:538213        Dump No: 54

  970. Title: Answer Set Planning Under Action Costs        Number of references: 29        ID: oai:CiteSeerPSU:544942        Dump No: 55

  971. Title: A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement        Number of references: 29        ID: oai:CiteSeerPSU:651075        Dump No: 66

  972. Title: Benchmarking For Large-scale Placement and Beyond        Number of references: 29        ID: oai:CiteSeerPSU:674248        Dump No: 68

  973. Title: Cooperative Information Gathering: A Distributed Problem Solving Approach        Number of references: 35        ID: oai:CiteSeerPSU:9997        Dump No: 1

  974. Title: The CCLRC HPCI Centre at Daresbury Laboratory        Number of references: 35        ID: oai:CiteSeerPSU:17283        Dump No: 2

  975. Title: Hive: Operating System Fault Containment For Shared-Memory Multiprocessors        Number of references: 35        ID: oai:CiteSeerPSU:48573        Dump No: 5

  976. Title: Implementation Issues for Reverse Hillclimbing        Number of references: 35        ID: oai:CiteSeerPSU:53471        Dump No: 6

  977. Title: Open Service Support for ATM        Number of references: 35        ID: oai:CiteSeerPSU:109269        Dump No: 11

  978. Title: A ProCoS II Project Final Report: ESPRIT Basic Research project 7071        Number of references: 35        ID: oai:CiteSeerPSU:184587        Dump No: 19

  979. Title: Timed Automata        Number of references: 35        ID: oai:CiteSeerPSU:203146        Dump No: 21

  980. Title: A Class Library Approach To Concurrent Object-Oriented Programming With Applications To VLSI CAD        Number of references: 35        ID: oai:CiteSeerPSU:239561        Dump No: 24

  981. Title: Dynamically Discovering Likely Program Invariants to Support Program Evolution        Number of references: 35        ID: oai:CiteSeerPSU:292512        Dump No: 30

  982. Title: Lattice Reduction in Cryptology: An Update        Number of references: 35        ID: oai:CiteSeerPSU:296791        Dump No: 30

  983. Title: Delegation Logic: A Logic-based Approach to Distributed Authorization        Number of references: 35        ID: oai:CiteSeerPSU:425758        Dump No: 43

  984. Title: Fault Tolerance in Critical Information Systems        Number of references: 35        ID: oai:CiteSeerPSU:442558        Dump No: 45

  985. Title: Semidefinite Optimization        Number of references: 35        ID: oai:CiteSeerPSU:450264        Dump No: 46

  986. Title: Managing Communicative Intentions in Dialogue Using a Collaborative Problem-Solving Model        Number of references: 35        ID: oai:CiteSeerPSU:533748        Dump No: 54

  987. Title: Sentence 782 of The New C Standard        Number of references: 35        ID: oai:CiteSeerPSU:566694        Dump No: 57

  988. Title: Analysis of Predictive Spatio-Temporal Queries        Number of references: 35        ID: oai:CiteSeerPSU:592549        Dump No: 60

  989. Title: Volume 22 (2003), Number 2, yet unknown pages        Number of references: 35        ID: oai:CiteSeerPSU:636271        Dump No: 64

  990. Title: Pilot Assisted Wireless Transmissions +        Number of references: 35        ID: oai:CiteSeerPSU:655022        Dump No: 66

  991. Title: Power Control and Adaptive Resource Allocation in DS-CDMA Systems        Number of references: 35        ID: oai:CiteSeerPSU:688224        Dump No: 69

  992. Title: HPF-2 Scope of Activities and Motivating Applications        Number of references: 28        ID: oai:CiteSeerPSU:5671        Dump No: 1

  993. Title: Learning Action Strategies for Planning Domains        Number of references: 28        ID: oai:CiteSeerPSU:7218        Dump No: 1

  994. Title: Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography        Number of references: 28        ID: oai:CiteSeerPSU:10686        Dump No: 2

  995. Title: CBR in Context: The Present and Future        Number of references: 28        ID: oai:CiteSeerPSU:22268        Dump No: 3

  996. Title: Practical Unification-based Parsing of Natural Language        Number of references: 28        ID: oai:CiteSeerPSU:38712        Dump No: 4

  997. Title: Algorithms and Complexity for Temporal and Spatial Formalisms - Introduction        Number of references: 28        ID: oai:CiteSeerPSU:41039        Dump No: 5

  998. Title: An Evaluation Methodology for Parallel/Distributed Software Tools        Number of references: 28        ID: oai:CiteSeerPSU:47857        Dump No: 5

  999. Title: Languages, Automata, and Logic        Number of references: 28        ID: oai:CiteSeerPSU:52129        Dump No: 6

  1000. Title: The Role of Abduction in Logic Programming        Number of references: 28        ID: oai:CiteSeerPSU:57354        Dump No: 6