Publication Search Results

TitleAuthorBibliographicDateGroupLinkssort descending
New Algorithmic Results for Lines-in-3-Space ProblemsL. J. Guibas and M. PellegriniICSI Technical Report TR-92-005February 1992ICSI Technical Reports[PDF]

The LOGIDATA+ Object AlgebraU. Nanni, S. Salza, and M. TerranovaICSI Technical Report TR-92-006February 1992ICSI Technical Reports[PDF]

The LOGIDATA+ Prototype SystemU. Nanni, S. Salza, and M. TerranovaICSI Technical Report TR-92-007February 1992ICSI Technical Reports[PDF]

Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri NetsP. Alimonti, E. Feuerstain, and U. NanniICSI Technical Report TR-92-008February 1992ICSI Technical Reports[PDF]

Fish in Schools or Fish in Cans Evolutionary Thinking and FormalizationD.SiefkesICSI Technical Report TR-92-009February 1992ICSI Technical Reports[PDF]

A New Algorithm for Counting Circular Arc IntersectionsM. PellegriniICSI Technical Report TR-92-010February 1992ICSI Technical Reports[PDF]

The Weighted List Update Problem and the Lazy AdversaryF. d'Amore, A. Marchetti-Spaccamela, and U. NanniICSI Technical Report TR-92-011February 1992ICSI Technical Reports[PDF]

Towards a Complexity Theory for ApproximationK. Aberer and B. CodenottiICSI Technical Report TR-92-012February 1992ICSI Technical Reports[PDF]

Competitive On-line Algorithms for Paging and Graph ColoringS. IraniICSI Technical Report TR-92-013January 1992ICSI Technical Reports[PDF]

Backwards Analysis of Randomized Geometric AlgorithmsR. SeidelICSI Technical Report TR-92-014February 1992ICSI Technical Reports[PDF]

Queueing Delays in Rate Controlled NetworksA. Banerjea and S. KeshavICSI Technical Report TR-92-015March 1992ICSI Technical Reports[PDF]

A Framework for the Study of Pricing in Integrated NetworksC. J. Parris, S. Keshav, and D. FerrariICSI Technical Report TR-92-016March 1992ICSI Technical Reports[PDF]

The Sather Language and LibrariesS. Omohundro and C. C. LimICSI Technical Report TR-92-017March 1992ICSI Technical Reports[PDF]

A Resource Based Pricing Policy for Real-Time Channels in a Packet-Switching NetworkC. J. Parris and D. FerrariICSI Technical Report TR-92-018March 1992ICSI Technical Reports[PDF]

Design of a Continuous Media Data Transport Service and ProtocolM. Moran and B. WolfingerICSI Technical Report TR-92-019April 1992ICSI Technical Reports[PDF]

Read-Once Threshold Formulas, Justifying Assignments, and Generic TranformationsN. H. Bshouty, T. R. Hancock, L. Hellerstein, and M. KarpinskiICSI Technical Report TR-92-020March 1992ICSI Technical Reports[PDF]

Local Properties of Some NP-Complete ProblemsB. Codenotti and L. MargaraICSI Technical Report TR-92-021April 1992ICSI Technical Reports[PDF]

Petri Net Based Software Validation: Prospects and LimitationsM. HeinerICSI Technical Report TR-92-022March 1992ICSI Technical Reports[PDF]

Quality-of-Service Negotiation in a Real-Time Communication NetworkJ. Ramaekers and G. VentreICSI Technical Report TR-92-023April 1992ICSI Technical Reports[PDF]

Communicating with Low-Diffraction Lasers and MirrorsR. BeigelICSI Technical Report TR-92-024April 1992ICSI Technical Reports[PDF]

Tree Matching with Recursive Distributed RepresentationsA. Stolcke and D. WuICSI Technical Report TR-92-025April 1992ICSI Technical Reports[PDF]

On the Power of Discontinous Approximate ComputationsK. Aberer and B.CodenottiICSI Technical Report TR-92-026April 1992ICSI Technical Reports[PDF]

The Quality of Separation Between NP and Exponential Time; Reducing the CasesG. LischkeICSI Technical Report TR-92-027April 1992ICSI Technical Reports[PDF]

Proposal of an External Processor Scheduling in Micro-Kernel Based Operating SystemsW. KalfaICSI Technical Report TR-92-028May 1992ICSI Technical Reports[PDF]

Efficient Computation of Spatial JoinsO. GüntherICSI Technical Report TR-92-029May 1992ICSI Technical Reports[PDF]

Checking Approximate Computations Over the RealsS. Ar, M. Blum, B. Codenotti, and P. GemmellICSI Technical Report TR-92-030May 1992ICSI Technical Reports[PDF]

Decision Procedures for Flat Set-Theorectical Syllogistics.I. General Union, Powerset and Singleton OperatorsD. Cantone and V. CutelloICSI Technical Report TR-92-031May 1992ICSI Technical Reports[PDF]

A Model for Amalgamation in Group Decision MakingV. Cutello and J. MonteroICSI Technical Report TR-92-032May 1992ICSI Technical Reports[PDF]

A Characterization of Rational Amalgamation OperationsV.Cutello and J. MonteroICSI Technical Report TR-92-033May 1992ICSI Technical Reports[PDF]

Ambiguities in Object Specifications in View of Data TestingD. RichterICSI Technical Report TR-92-034June 1992ICSI Technical Reports[PDF]

Experiments with Noise Reduction Neural Networks for Robust Speech RecognitionM. TrompfICSI Technical Report TR-92-035May 1992ICSI Technical Reports[PDF]

Efficient Clustering Techniques for the Geometric Traveling Salesman ProblemB. Codenotti and L. MargaraICSI Technical Report TR-92-036June 1992ICSI Technical Reports[PDF]

Measuring the Latency Time of Real-Time Unix-like Operating SystemsN. FallerICSI Technical Report TR-92-037June 1992ICSI Technical Reports[PDF]

Fuzzy Evolutionary AlgorithmsH.-M. VoigtICSI Technical Report TR-92-038June 1992ICSI Technical Reports[PDF]

Boot AlgebrasD. Schuett, U. Eckhardt, and P. SudaICSI Technical Report TR-92-039June 1992ICSI Technical Reports[PDF]

Robot Shaping: Developing Situated Agents Through LearningM. Colombetti and M. DorigoICSI Technical Report tr-92-040August 1992ICSI Technical Reports[PDF]

The NC Equivalence of Integer Linear Programming and Euclidean GCDV. PanICSI Technical Report TR-92-041December 1992ICSI Technical Reports[PDF]

A Framework for Cumulative Default LogicsG. BrewkaICSI Technical Report TR-92-042July 1992ICSI Technical Reports[PDF]

A Symbolic Complexity Analysis of Connectionist Algorithms for Distributed-Memory MachinesJ. BachrachICSI Technical Report TR-92-043July 1992ICSI Technical Reports[PDF]

On-Line Algorithms Versus Off-Line Algorithms: How Much Is It Worth to Know the Future?R. M. KarpICSI Technical Report TR-92-044July 1992ICSI Technical Reports[PDF]

Persistence in the Object-Oriented Database Programming Language VMLW. Klas and V. TurauICSI Technical Report TR-92-045July 1992ICSI Technical Reports[PDF]

An Object-Oriented Approach to the Design of Graphical User Interface SystemsF. PaternoICSI Technical Report TR-92-046August 1992ICSI Technical Reports[PDF]

An Adaptive Classification Scheme to Approximate Decision Boundaries Using Local Bayes Criteria - The "Melting Octree" NetworkL. M. Encarnacao and M. H. GrossICSI Technical Report TR-92-047July 1992ICSI Technical Reports[PDF]

A Study of Perceptually Grounded Polysemy in a Spatial MicrodomainJ. ZlatevICSI Technical Report TR-92-048August 1992ICSI Technical Reports[PDF]

An Abductive Framework for Generalized Logic Programs: Preliminary ReportG. BrewkaICSI Technical Report TR-92-049July 1992ICSI Technical Reports[PDF]

The Degrees of Discontinuity of Some Translators Between Representations ofthe Real NumbersK. WeihrauchICSI Technical Report TR-92-050July 1992ICSI Technical Reports[PDF]

Improved Parallel Polynomial Division and Its ExtensionsD. Bini and V. PanICSI Technical Report TR-92-051August 1992ICSI Technical Reports[PDF]

Improved Parallel Computations with Toeplitz-like and Hankel-like MatricesD. Bini and V. PanICSI Technical Report TR-92-052August 1992ICSI Technical Reports[PDF]

A Mechanism for Dynamic Re-routing of Real-time ChannelsC. Parris, H. Zhang, and D. FerrariICSI Technical Report TR-92-053August 1992ICSI Technical Reports[PDF]

Process Grammar Processor: An Architecture for a Parallel ParserM. MarinoICSI Technical Report TR-92-054August 1992ICSI Technical Reports[PDF]

Pages