Index:

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