Sciweavers

876 search results - page 121 / 176
» Complexity in geometric SINR
Sort
View
IPMI
2005
Springer
14 years 10 months ago
Multi-figure Anatomical Objects for Shape Statistics
Abstract. Multi-figure m-reps allow us to represent and analyze a complex anatomical object by its parts, by relations among its parts, and by the object itself as a whole entity. ...
Qiong Han, Stephen M. Pizer, Derek Merck, Sarang C...
CADE
2009
Springer
14 years 10 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
RECOMB
2003
Springer
14 years 10 months ago
Finding recurrent sources in sequences
Many genomic sequences and, more generally, (multivariate) time series display tremendous variability. However, often it is reasonable to assume that the sequence is actually gene...
Aristides Gionis, Heikki Mannila
STOC
2005
ACM
142views Algorithms» more  STOC 2005»
14 years 10 months ago
Market equilibrium via the excess demand function
We consider the problem of computing market equilibria and show three results. (i) For exchange economies satisfying weak gross substitutability we analyze a simple discrete versi...
Bruno Codenotti, Benton McCune, Kasturi R. Varadar...
STOC
2003
ACM
193views Algorithms» more  STOC 2003»
14 years 10 months ago
Space efficient dynamic stabbing with fast queries
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
Mikkel Thorup