🚀 go-pugleaf

LIBRARY BULLETIN
COMPUTER SCIENCE LIBRARY
3164 A.V. Williams Bldg.
June 21, 1999


New Journals

Artificial Intelligence -- Volume 109, numbers 1-2, April 1999

Computational Geometry -- Volume 13, number 1, May 1999

Graphical Models and Image Processing -- Volume 61, number 2, march 1999

IEEE Transactions on Pattern Analysis and Machine Intelligence -- Volume 21, number 6, June 1999

Journal of the ACM -- Volume 46, number 2, March 1999

ACM Transactions on Software Engineering and Methodology -- Volume 8, number 2, April 1999

Miscellaneous Journals

American Scientist -- Volume 87, number 4, July-August 1999

Fundamenta Informaticae -- Volume 37, number 3, February 1999

Journal of Information Science and Engineering -- Volume 15, number 2, march 1999

Operating Systems Review -- Volume 33, number 3, July 1999

SIGACT News -- Volume 30, number 2, June 1999

SIGCSE Bulletin -- Volume 31, number 2, June 1999

SIGDA Newsletter -- Volume 29, number 1, May 1999

Technical Reports

UOM 4022: Querying Very Large Multi-Dimensional Datasets in ADR- extended Abstract, by Tahsin Kurc, Chialin Chang, Renato Ferreira, Alan Sussman and Joel Saltz

UOM 4024: Approximation Algorithms and Heuristics for the Dynamic Storage Allocation Problem, by Praveen K. Murthy and Shuvra S. Bhattacharyya

UOM 4025: Shared Memory Implementations of Synchronous Dataflow Specifications Using Lifetime Analysis Techniques, by Praveen K. Murthy and Shuvra S. Bhattacharyya

UOM 4029: A Multigrid Method Enhanced by Krylov Subspace Iteration for Discrete Helmholtz Equations, by Howard C. Elman, Oliver G. Ernst, and Dianne P. O'Leary

New Books

Advances in Knowledge Discovery and Data Mining, by Usama Fayyad et al, H.2.8 FAY 1996

Advances in Neural Information Processing Systems, Volume 10, Reference I.2.0 ADV 1998

Applied Software Measurement: Assuring Productivity and Quality, by Capers Jones, 2nd edition, D.2.8 JON 1996

The Art of Human-Computer Interface Design, edited by Brenda Laurel, H.1.2 LAU 1990

Behavior-Based Robotics, by Ronald C. Arkin, I.2.9 ARK 1998

The Capability Maturity Model: Guidelines for Improving the Software Process, D.2.0 CAP 1994

CHI 97: Looking to the Future, Human Factods in Computing Systems, H.1.2 CHI 1997

CHI 98: Making the Impossible Possible, Human Factors in Computing Systems. H.1.2 CHI 1998

Cleanroom Software Engineering: Technology and Process, by Stacy J. prowell et al, D.2 PRO 1998

The Complete Reference Java 2, D.3.2 SPH 1999

Computer Organization & Design: The Hardware/Software Interface, by John Hennessy and David Patterson, C.0 HEN 1998

Conference Record of POPL '98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, D.3.2 ACM 1998

Data Mining Techniques, by Michael Berry and Gordon Linoff, H.2.8 BER 1997

Digital Libraries 1997: Proceedings of the 2nd ACM International Conference on Digital Libraries, A.0 LIB 1997

Digital Libraries 1998: Proceedings of the 3rd ACM International Conference on Digital Libraries, A.0 LIB 1998

Ensuring Software Reliability, Ann Marie Neufelder, D.4.5 NEU 1993

Gems of Theoretical Computer Science, by Uwe Sch�ning and Randall Pruim, F.0 SCH 1995

GUI Design Handbook, Susan Fowler, H.5.2 FOW 1998

Handbooks of Programming Languages, Volumes I-IV, Reference D.1.0 HAN 1998

Human-Computer Interaction. by Jenny Preece, H.1.2 PRE 1995

Human-Computer Interaction for Software Designers, Linda Macaulay, H.1.2 MAC 1995

IEEE/ACM International Conference on Computer-Aided Design, ICCAD 98, J.6 CAD 1998

IUI 98: 1998 International Conference on Intelligent User Interfaces, H.5.2 ACM 1998

IUI 99: 1999 International Conference on Intelligent User Interfaces, H.5.2 ACM 1999

An Introduction to Categorical Data Analysis, by Alan Agresti, G.3 AGR 1996

MICRO-31, Proceedings of the 31st Annual ACM/IEEE International Symposium on Microarchitecture, B.1 MIC 1998

People & Ideas in Theoretical Computer Science, edited by C.S. Calude, F.0 CAL 1999

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, PODC 1997, D.4.7 SYM 1997

Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, PODC 1998, D.4.7 SYM 1998

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 1998), H.2.4 ACM 1998

Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing STOC 1998, F.0 ACM 1998

Proceedings of the Twelfth Workshop on Parallel and Distributed Simulation, PADS '98, I.6.m PAD 1998

SIGMOD 1999, Proceedings of the 1999 ACM SIGMOD International Conference on Management of Data, E.0 ACM 1999

SPAA '97: 9th Annual ACM Symposium on Parallel Algorithms and Architectures, F.0 ACM 1997

Software Configuration Management, by H. Ronald Berlack, D.2.9 BER 1991

Software Metrics: A Rigorous & Practical Approach, by Norman Fenton and Shari Lawrence Pfleeger, D.2.8 FEN 1997
LIBRARY BULLETIN - tables of contents
COMPUTER SCIENCE LIBRARY
3164 A.V. Williams Bldg.
June 21, 1999


ACM Transactions on Software Engineering and Methodology
	Volume 8, number 2, April 1999
Modeling Mobile IP in Mobile UNITY						115
		Peter J. McCann
		Gruia-Catalin Roman
Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model										147
		Jonathan E. Cook
		Alexander L. Wolf
GENOA- A Customizable, Front-End-Retargetable Source Code Analysis Framework												177
		Premkumar T. Devanbu

-------------------------------------------------------------------------------

Artificial Intelligence
	Volume 109, numbers 1-2, April 1999
Modal logics, description logics and arithmetic reasoning				1
		Hans J�rgen Ohlbach
		Jana Koehler
iCTRL: Intensional conformal text representation language				33
		G�bor R�dey
A directly cautious theory of defeasible consequence for default logic via the notion of general extension									71
		G. Aldo Antonelli 
Using regression-match graphs to control search in planning				111
		Drew McDermott
Non-uniform time sharing in the concurrent execution of constraint solving		161
		Richard Krajcoviech
		Margar�ta Kotocov�
Representation of propositional expert systems as partial functions		187
		Robert M. Colomb
Learning by discovering concept hierarchies						211
		B. Zupan
		Marko Bohanec
		Janez Demsar
		Ivan Bratko
Constraint satisfaction over connected row-convex constraints			243
		Yves Deville
		Olivier Barette
		Pascal Van Hentenryck
Computational complexity of relating time points with intervals			273
		Peter Jonsson
		Thomas Drakengren
		Christer B�ckstr�m
Preferred answer sets for extended logic programs					297
		Gerhard Brewka
		Thomas Eiter

-------------------------------------------------------------------------------

Computational Geometry
	Volume 13, number 1, May 1999
Editorial										1 
		Jarek Rossignac
Rotational polygon containment and minimum enclosure using only robust 2D constructions										3
		Victor J. Milenkovic
Point labeling with sliding labels							21
		Marc van Kreveld
		Tycho Strijk
		Alexander Wolff 
Multiresolution banded refinement to accelerate surface reconstruction from polygons												49
		James D. Fix
		Richard E. Ladner
Using generic programming for designing a data structure for polyhedral surfaces	65
		Lutz Kettner

-------------------------------------------------------------------------------

Graphical Models and Image Processing
	Volume 61, number 2, march 1999
Photogrammetric Texture Mapping onto Planar Polygons				63
		Frederick M. Weinhaus
		Robert N. Devich
Topologically Reliable Approximation of Trimmed Polynomial Surface Patches	84
		Wonjoon Cho
		Takashi Maekawa
		Nicholas M. Patrikalakis
		Jaime Peraire
On Surface Approximation Using Developable Surfaces				110
		H.-Y. Chen
		I.-K. Lee
		S. Leopoldseder
		H. Pottmann
		T. Randrup
		J. Wallner 

-------------------------------------------------------------------------------

IEEE Transactions on Pattern Analysis and Machine Intelligence
	Volume 21, number 6, June 1999
A Markov Pixon Information Approach for Low-Level Image Description		482
		X. Descombes
		F. Kruggel 
An Omnifont Open-Vocabulary OCR System for English and Arabic		495
		I. Bazzi
		R. Schwartz
		J. Makhoul 
Geometric and Illumination Invariants for Object Recognition			505
		R. Alferez
		Y.-F. Wang 
Maximum Likelihood Estimation Methods for Multispectral Random Field Image Models											537
		J. Bennett
		A. Khotanzad 
Adaptive Image Segmentation With Distributed Behavior-Based Agents		544
		J. Liu
		Y.Y. Tang 
Design of Multiparameter Steerable Functions Using Cascade Basis Reduction	552
		P.C. Teo
		Y. Hel-Or 
Face Detection From Color Images Using a Fuzzy Pattern Matching Method	557
		H. Wu
		Q. Chen
		M. Yachida 
Robust Tracking of Position and Velocity With Kalman Snakes			564
		N. Peterfreund 
A Kalman Filter Approach to Direct Depth Estimation Incorporating Surface Structure												570
		Y.S. Hung
		H.T. Ho 

-------------------------------------------------------------------------------

Journal of the ACM
	Volume 46, number 2, March 1999
The Computational Complexity of Knot and Link Problems			185
		J. Hass
		J.C. Lagarias
		N. Pippenger.
Reconstructing a Three-Dimensional Model with Arbitary Errors			212
		B. Berger
		J. Kleinberg
		T. Leighton.
The String B-Tree: A New Data Structure for String Search in External Memory and its Applications										236
		P. Ferragina
		R. Grossi
Provably Efficient Scheduling for Languages with Fine-Grained Parallelism		281
		G.E. Blelloch
		P.B. Gibbons
		Y. Matias.