Sciweavers

9842 search results - page 1806 / 1969
» Problem complexity
Sort
View
TC
1998
15 years 13 days ago
Abstraction Techniques for Validation Coverage Analysis and Test Generation
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Ho...
SIAMCOMP
2002
142views more  SIAMCOMP 2002»
15 years 13 days ago
On Binary Searching with Nonuniform Costs
Let us consider an ordered vector A[1 : n]. If the cost of testing each position is similar, then the standard binary search is the best strategy to search the vector. This is true...
Eduardo Sany Laber, Ruy Luiz Milidiú, Artur...
132
Voted
TON
2002
144views more  TON 2002»
15 years 12 days ago
Algorithms for provisioning virtual private networks in the hose model
Virtual Private Networks (VPNs) provide customers with predictable and secure network connections over a shared network. The recently proposed hose model for VPNs allows for great...
Amit Kumar, Rajeev Rastogi, Abraham Silberschatz, ...
96
Voted
PAMI
2007
157views more  PAMI 2007»
15 years 8 days ago
The Asymmetry of Image Registration and Its Application to Face Tracking
Most image registration problems are formulated in an asymmetric fashion. Given a pair of images, one is implicitly or explicitly regarded as a template, and warped onto the other...
Göksel Dedeoglu, Takeo Kanade, Simon Baker
133
Voted
PVLDB
2008
146views more  PVLDB 2008»
15 years 8 days ago
Graceful database schema evolution: the PRISM workbench
Supporting graceful schema evolution represents an unsolved problem for traditional information systems that is further exacerbated in web information systems, such as Wikipedia a...
Carlo Curino, Hyun Jin Moon, Carlo Zaniolo
« Prev « First page 1806 / 1969 Last » Next »