Sciweavers

4315 search results - page 191 / 863
» Sorting in linear time
Sort
View
LICS
2003
IEEE
14 years 2 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
HICSS
1998
IEEE
90views Biometrics» more  HICSS 1998»
14 years 1 months ago
Real-Time New Product Development in Financial Services: Some Managerial Implications
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
Pete Naudé, Ian D. Blackman, S. Dengler
COLT
1997
Springer
14 years 1 months ago
Estimation of Time-Varying Parameters in Statistical Models: An Optimization Approach
Abstract. We propose a convex optimization approach to solving the nonparametric regression estimation problem when the underlying regression function is Lipschitz continuous. This...
Dimitris Bertsimas, David Gamarnik, John N. Tsitsi...
CORR
2008
Springer
117views Education» more  CORR 2008»
13 years 9 months ago
Time Warp Edit Distance
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...
Pierre-Francois Marteau
DAC
2009
ACM
14 years 10 months ago
A direct integral-equation solver of linear complexity for large-scale 3D capacitance and impedance extraction
State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...
Wenwen Chai, Dan Jiao, Cheng-Kok Koh