Sciweavers

2686 search results - page 341 / 538
» Testing metric properties
Sort
View
SIGMOD
2003
ACM
146views Database» more  SIGMOD 2003»
16 years 6 months ago
Estimating Compilation Time of a Query Optimizer
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
Ihab F. Ilyas, Jun Rao, Guy M. Lohman, Dengfeng Ga...
SMI
2008
IEEE
198views Image Analysis» more  SMI 2008»
16 years 26 days ago
Anisotropic geodesic distance computation for parametric surfaces
The distribution of geometric features is anisotropic by its nature. Intrinsic properties of surfaces such as normal curvatures, for example, varies with direction. In this paper ...
Joon-Kyung Seong, Won-Ki Jeong, Elaine Cohen
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
16 years 19 days ago
Takeover times on scale-free topologies
The topological properties of a network directly impact the flow of information through a system. In evolving populations, the topology of inter-individual interactions affects th...
Joshua L. Payne, Margaret J. Eppstein
INFOCOM
2005
IEEE
16 years 2 days ago
Reduction of quality (RoQ) attacks on Internet end-systems
— Current computing systems depend on adaptation mechanisms to ensure that they remain in quiescent operating regions. These regions are often defined using efficiency, fairnes...
Mina Guirguis, Azer Bestavros, Ibrahim Matta, Yuti...
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
15 years 12 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond