Sciweavers

13306 search results - page 273 / 2662
» Theoretical Computer Science
Sort
View
FOCS
1992
IEEE
15 years 10 months ago
Safe and Effective Determinant Evaluation
The problem of evaluating the sign of the determinant of a small matrix arises in many geometric algorithms. Given an n
Kenneth L. Clarkson
FOCS
1990
IEEE
15 years 10 months ago
The Lattice Reduction Algorithm of Gauss: An Average Case Analysis
The lattice reduction algorithm of Gauss is shown to have an average case complexity which is asymptotic to a constant.
Brigitte Vallée, Philippe Flajolet
STACS
1990
Springer
15 years 10 months ago
Minimum Vertex Hulls for Polyhedral Domains
nce abstract) GAUTAM DAS - University of Wisconsin DEBORAH JOSEPH - University of Wisconsin
Gautam Das, Deborah Joseph
GI
2007
Springer
15 years 10 months ago
Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen
: Der Artikel beschreibt, wie endliche Automaten f
Gunther Vogel
GI
2007
Springer
15 years 10 months ago
Anwendung von Hochfrequenz-Transpondern zur Tieridentifikation
Abstract: Zur elektronischen Identifikation von Einzeltieren mit Hilfe von LFTranspondern (134,2 kHz) sind f
Georg Fröhlich, Stephan Böck, Stefan Thu...