13500 search results - page 60 / 2700 » Improved analysis of D |
FGR
2004
IEEE
15 years 1 months ago
2004
IEEE
We propose an approach to gait analysis that relies on fitting 3
CIVR
2007
Springer
14 years 11 months ago
2007
Springer
COMPGEOM
2009
ACM
15 years 4 months ago
2009
ACM
We present the Iterated-Tverberg algorithm, the first deterministic algorithm for computing an approximate centerpoint of a set S ∈ Rd with running time sub-exponential in d. T...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
EUROPAR
2004
Springer
15 years 1 months ago
2004
Springer
Measurement-based profiling introduces intrusion in program execution. Intrusion effects can be mitigated by compensating for measurement overhead. Techniques for compensation anal...