🚀 go-pugleaf

LIBRARY BULLETIN
COMPUTER SCIENCE LIBRARY
3164 A.V. Williams Bldg.
August 2, 1999

News
	Please excuse the confusion in the library!  We are currently preparing the 1998 jorunals for binding, and they will be missing for a short while.  Thank you for your patience!


New Journals

ACM Transactions on Design Automation of Electronic Systems -- Volume 4, number 2, April 1999

ACM Transaction on Programming Languages and Systems -- Volume 21, number 1, January 1999

Artificial Intelligence -- Volume 110, number 2, June 1999

Coomunications of the ACM -- Volume 42, number 8, August 1999

IEEE/ACM Transactions on Networking -- Volume 7, number 3, June 1999

IEEE Transactions on Computers -- Volume 48, number 7, July 1999

IEEE Transactions on Pattern Analysis and Machine Intelligence -- Volume 21, number 7, July 1999

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics -- Volume 29, number 4, August 1999

Information Sciences -- Volume 117, numbers 1-2, July 1999

Journal of Complexity -- Volume 15, number 2, June 1999

Neural Computation -- Volume 11, number 6, August 1999

Proceedings of the IEEE -- Volume 87, number 8, August 1999

Miscellaneous Journals

ATR Journal -- Volume 2, June 1999

Computer Personnel -- Volume 20, number 1, Spring 1999

Information and Computation -- Volume 152, number 1, July 10, 1999

Intelligence -- Volume 10, number 2, Summer 1999

New Books



LIBRARY BULLETIN - tables of contents
COMPUTER SCIENCE LIBRARY
3164 A.V. Williams Bldg.
August 2, 1999

ACM Transactions on Design Automation of Electronic Systems
	Volume 4, number 2, April 1999
Formal Verification in Hardware Design: A Survey					123
		C. Kern
		M. R. Greenstreet
BIFEST: A Built-In Intermediate Fault Effect Sensing and Test Generation System for CMOS Bridging Faults								194
		K.-J. Lee
		J.-J. Tang
		T.-C. Huang
Behavioral Synthesis of Combinatorial Logic Using Spectral-Based Heuristics	219
		M. A. Thornton
		V. S. S. Nair

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

ACM Transaction on Programming Languages and Systems
	Volume 21, number 1, January 1999
On failure of the Pruning Technique in "Error Repair in Shift-Reduce Parsers"	1
		Eberhard Bertsch
		Mark-Jan Nederhof
Dynamic Typing for Distributed Programming in Polymorphic Languages		11
		Dominic Duggan
Specification and Verification of Fault-Tolerance, Timing, and Scheduling		46
		Zhiming Liu
		Mathai Joseph
A Type System for Java Bytecode Subroutines					90
		Raymie State
		Martin Abadi
Space-Efficient Scheduling of Nested Parallelism					138
		Girija J. Narlikar
		Guy E. Blelloch

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

Artificial Intelligence
	Volume 110, number 2, June 1999
Preface											189
		H. Kitano
RoboCup: Today and Tomorrow - What we have learned				193
		M. Asada
		H. Kitano
		I. Noda
		M. Veloso
Building Agent Teams Using an Explicit Teamwork Model and Learning		215
		M. Tambe
		J. Adibi
		Y. Al-Onaizan
		A. Erdem
		G. A. Kaminka
		S.C. Marsella
		I. Muslea
Task Decomposition, Dynamic Role Assignment, and Low-Bandwidth Communication for Real-time Strategic Teamwork							241
		P. Stone
		M. Veloso
Cooperative Behavior Acquisition for Mobile Robots in Dynamically Changing Worlds Via Vision-Based Reinforcement Learning and Development			275
		M. Asada
		E. Uchibe
		K. Hosoda
Cooperation without Deliberation: A minimal bhavior-based approach to multi-robot teams											293
		B. B. Werger

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

Communications of the ACM
	Volume 42, number 8, August 1999
	Toward an Image Indistinguishable from Reality
Introduction										28
		Andrew Rosenbloom, Senior Editor
Artificial Life for Computer Graphics						32
		Demetri Terzopoulos
A Framework for Realistic Image Synthesis						44
		Donald P. Greenberg
Sampling, Synthesis, and Input Devices						54
		George W. Fitzmaurice
		Ravin Balakrishnan
		Gordon Kurtenbach
Animation Control for Real-Time Virtual Humans					64
		Norman I. Baldler
		Martha S. Palmer
		Rama Bindiganavale
Making Graphics Physically Tangible						74
		J. Kenneth Salisbury, Jr.
Visually Exploring Gigabyte Data Sets in Real Time					82
		Steve Bryson
		David Kewright
		Michael Cox
		David Ellsworth
		Robert Haines
Web Homes Pages as Advertisements						91
		Surendra N. Singh
		Nikunj P. Dalal
Realizing 3D Visualization Using Cross-Beamed Volumetric Displays		100
		David Ebert et al.
CEO and CIO erspectives on Competitive Intelligence				108
		Richard G, Vedder et al.
Growing Systems in Emergent Organizations 					117
		Duane P. Truex
		Richard Baskerville
		Heinz Klein

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

IEEE/ACM Transactions on Networking
	Volume 7, number 3, June 1999
End-to -end Internet Packet Dynamics						277
		V. Paxson
A Framework for Robust Measurement-Based Admission Control			293
		M. Grossglauser
		D.N.C. Tse
Performance Bounds for Flow Protocols						310
		R. Agrawal
		R.L. Cruz
		C. Okino
		R. Rajan
IP Lookups Using Multiway and Multicolumn Search				324
		B. lampson
		V. Srinivasan
		G. Varghese
A Virtual Circuit Deflection Protocol							335
		E.A. Varvarigos
		J.P. Lang
QoS Routing in networks with Inaccurate Information: Theory and Algorithms	350
		R.A. Guerin
		A. Orda
Routing with End-to-End QoS Guarantees in Broadband Networks			365
		A. Orda
Scalable Feedback for Large Groups							375
		J. Nonnenmacher
		E.W. Biersack
Workload Models of VBR Video Traffic and Their Use in Resource Allocation Policies												387
		P. manzoni
		P. Cremonesi
		G. Serazzi
Modeling One- and Two-Layer Variable Bit Rate Video				398
		K. Chandra
		A.R. Reibman
Wavelength Requirements for Multicasting in All-Optical Networks		414
		R.K. Pankaj
Random Algorithms for Scheduling Multicast Traffic in WDM Broadcast-and-Select  Networks										425
		E. Modiano
On Scheduling All-to-All Personalized Connectiosn and Cost-Effective Designs in WDM Rings											435
		X. Zhang
		C. Qiao
Optimal WDM Schedules for Optical Star Networks				446
		A. Dasylva
		R. Srikant

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

IEEE Transactions on Computers
	Volume 48, number 7, July 1999
Flexible and Efficient Routing Based on Progressive Deadlock Recovery 		649
		T.M. Pinkston 
Portable and Efficient Parallel Computing Using the BSP Model 			670
		M.W. Goudreau
		K. Lang
		S.B. Rao
		T. Suel
		T. Tsantilas 
A Systolic Array Implementation of the Feng-Rao Algorithm 			690
		C.-W. Liu
		K.-T. Huang
		C.-C. Lu 
Coverage Estimation Methods for Stratified Fault Injection 				707
		M. Cukier
		D. Powell
		J. Arlat 
Diagnosis of Scan Cells in BIST Environment 					724
		J. Rajski
		J. Tyszer 
An Approach to Checking Link Conflicts in the Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays 				732
		J.-Y. Ke
		J.-C. Tsay 
Constructing Optimal Search Trees in Optimal Time 				738
		S.Q. Zheng
		M. Sun 
Improving the Availability of Mutual Exclusion Systems on Incomplete Networks 744
		T. Harada
		M. Yamashita 
A Look-Up Scheme for Scaling in the RNS 						744
		A. Garc�a
		A. Lloris 
On the Space Requirement of Interval Routing 					748
		S.S.H. Tse
		F.C.M. Lau 
Diagnosis of Parallel Computer with Arbitrary Connectivity 			752
		Q.-Y. Tang
		X. Song 
Parallel Algorithms for Force Directed Scheduling of Flattened and Hierarchical Signal Flow Graphs 										762
		P. Prabhakaran
		P. Banerjee

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

IEEE Transactions on Pattern Analysis and Machine Intelligence
	Volume 21, number 7, July 1999
An MRF Model-Based Approach to Simultaneous Recovery of Depth and Restoration from Defocused Images 								577
		A.N. Rajagopalan
		S. Chaudhuri 
Image Thresholding by Indicator Kriging 						590
		W. Oh
		W.B. Lindquist 
Recognition of Articulated and Occluded Objects 					603
		G. Jones III
		B. Bhanu 
Pattern Matching Image Compression: Algorithmic and Empirical Results 		614
		M. Atallah
		Y. G�nin
		W. Szpankowski 
Structure Recovery with Multiple Cameras from Scaled Orthographic and Perspective Views 											628
		A. Marugame
		J. Katto
		M. Ohta 
A New Way to Represent the Relative Position between Areal Objects 		634
		P. Matsakis
		L. Wendling 
Lower Bounds for Bayes Error Estimation 						643
		A. Antos
		L. Devroye
		L. Gy�rfi 
A New One-Parametric Fitting Method for Planar Objects 				646
		K. Voss
		H. Suesse 
A Method to Detect and Characterize Ellipses Using the Hough Transform 	652
		N. Bennett
		R. Burridge
		N. Saito 
Fuzzy Relative Position Between Objects in Image Processing: A Morphological Approach 										657
		I. Bloch 
An Experimental Study of Projective Structure from Motion 			665
		J. Oliensis
		V. Govindu 

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

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
	Volume 29, number 4, August 1999
Randomized Neural Networks for Learning Stochastic Dependences		469
		V. S. Borkar
		P. Gupta 
A Gradual Neural Network Approach for FPGA Segmented Channel Routing Problems												481
		N. Funabiki
		M. Yoda
		J. Kitamichi
		S. Nishikawa 
Scheduling Multiprocessor Job with Resource and Timing Constraints Using Neural Networks										490
		Y.-M. Huang
		R.-M. Chen 
Fuzzy Service Control of Queueing Systems						503
		Y. A. Phillis
		R. Zhang 
Computing with Words								518
		S. H. Rubin 
Function Approximation Based on Fuzzy Rules Extracted from Partitioned Numerical Data											525
		R. Thawonmas
		S. Abe 
A Neural-Based Crowd Estimation by Hybrid Global Learning Algorithm		535
		S.-Y. Cho
		T. W. S. Chow
		C.-T. Leung 
Temporal Knowledge Representation and Reasoning Techniques Using Time Petri Nets												541
		W.-T. Jong
		Y.-S. Shiau
		Y.-J. Horng
		H.-H. Chen
		S.-M. Chen 
Comments on "A New Approach to Adaptive Fuzzy Control: The Controller Output Error Method"									545
		D. S. Reay 
On the Structuring of Systems with Fuzzy Relations				547
		P. S. Raghuvanshi
		S. Kumar 
Stereo Matching Using Hebbian Learning						553
		G. Pajares
		J. M. Cruz
		J. A. Lopez-Orozco 
Fuzzy Local Linearization and Local Basis Function Expansion in Nonlinear System Modeling										559
		Q. Gan
		C. J. Harris 
A Numerical Optimization Approach for Tuning Fuzzy Logic Controllers		565
		S. E. Woodard
		D. P. Garg 

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

Information Sciences
	Volume 117, numbers 1-2, July 1999
The engineering of mind, Information Sciences					1
		James S. Albus
Vadidation of authentic reasoning expert systems					19
		Laurie Webster II
		Jen-Gwo Chen
		Simon S. Tan
		Carolyn Watson
		Andr� de Korvin
On the logic foundation of fuzzy reasoning						47
		Guo-Jun Wang
Efficient algorithms for reliability analysis of distributed computing systems	89
		Min-Sheng Lin
		Ming-Sang Chang
		Deng-Jyi Chen
Performance analysis of parallelization models for path expression queries		107
		David Taniar
		J. Wenny Rahayu

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

Journal of Complexity
	Volume 15, number 2, June 1999
A Note on the Complexity of Solving Poisson's Equation for Spaces of Bounded Mixed Derivatives										167
		Hans-Joachim Bungartz
		Michael Griebel
Approximating Fixed Points of Weakly Contracting Mappings			200
		Z. Huang
		L. Khachiyan
		K. Sikorski
Approximate Zeros and Condition Numbers						214
		Felipe Cucker 
Finding Zeros of Analytic Functions:  Theory for Secant Type Methods		239
		Jean-Claude Yakoubsohn 
Complexity Analysis for Certain Convex Programming Problems			282
		Marie-C�cile Darracq 

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

Neural Computation
	Volume 11, number 6, August 1999
Seeing White: Qualia in the Context of Decoding Population Codes			1261
		Sidney R. Lehky
		Terrence J. Sejnowski
Adaptive Calibration of Imaging Array Detectors					1281
		Marco Budinich
		Renato Frison
Modeling the Combination of Motion, Stereo, and Vergence Angle Cues to Visual Depth												1297
		I. Fine
		Robert A. Jacobs
Inferring Perceptual Saliency Fields from Viewpoint-Dependent Recognition Data	1331
		Florin Cutzu
		Michael Tarr
Backward Projections in the Cerebral Cortex: Implications for Memory Storage	1349
		Alfonso Renart
		N�stor Parga
		Edmund T. Rolls
The Relationship Between Synchronization Among Neuronal Populations and Their Mean Activity Levels									1389
		D. Chawla
		E. D. Lumer
		K. J. Friston
Fast Calculation of Short-Term Depressing Synaptic Conductances			1413
		Michele Giugliano
		Marco Bove
		Massimo Grattarola
Algorithmic Stability and Sanity-Check Bounds for Leave-One-Out Cross-Validation												1427
		Michael Kearns
		Dana Ron
Convergence Properties of the Softassign Quadratic Assignment Algorithm		1455
		Anand Rangarajan
		Alan Vuille
		Eric Mjolsness
Learning to Design Synergetic Computers with an Extended Symmetric Diffusion Network										1475
		Koji Okuhara
		Shunji Osaki
		Masaaki Kijima

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

Proceedings of the IEEE
	Volume 87, number 8, August 1999
A Categorization of Multiscale-Decomposition-Based Image Fusion Schemes with a Performance Study for a Digital Camera Application				1315
		Z. Zhang
		R. S. Blum 
An Overview of Manufacturing Yield and Reliability Modeling for Semiconductor Products										1329
		W. Kuo
		T. Kim 
Mobility Management in Next-Generation Wireless Systems			1347
		I. F. Akyildiz
		J. McNair
		J. S. M. Ho
		H. Uzunalioglu
		W. Wang
Prolog											1345
		R. O'Donnell
Introduction to "The Transistor--A New Semiconductor Amplifier" 		1385
		B. Gilbert 
The Transistor--A New Semiconductor Amplifier 					1389
		J. A. Beckerand 
		J. N. Shive 
Engineering Education--Circa 2012 A.D. 						1397
		W. L. Everitt
Update on Engineering Education--Circa 2012 A.D. 					1399
		T. N. Trick 


Jordan Landes
CS Library