Sciweavers

1147 search results - page 112 / 230
» Statistical Timing Analysis Using Bounds
Sort
View
ICASSP
2011
IEEE
13 years 1 months ago
Time-evolving modeling of social networks
A statistical framework for modeling and prediction of binary matrices is presented. The method is applied to social network analysis, specifically the database of US Supreme Cou...
Eric Wang, Jorge Silva, Rebecca Willett, Lawrence ...
CDC
2010
IEEE
138views Control Systems» more  CDC 2010»
13 years 5 months ago
Design of a navigation filter by analysis of local observability
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...
Pierre-Jean Bristeau, Nicolas Petit, Laurent Praly
STOC
2002
ACM
121views Algorithms» more  STOC 2002»
14 years 10 months ago
Average case analysis for batched disk scheduling and increasing subsequences
We consider the problem of estimating the tour length and finding approximation algorithms for the asymmetric traveling salesman problem arising from the disk scheduling problem. ...
Eitan Bachmat
MYCRYPT
2005
Springer
189views Cryptology» more  MYCRYPT 2005»
14 years 3 months ago
An Analysis of Double Base Number Systems and a Sublinear Scalar Multiplication Algorithm
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = kˆ i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤   c + o(1) ¡ log n log log n ....
Mathieu Ciet, Francesco Sica
IJFCS
2008
158views more  IJFCS 2008»
13 years 10 months ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth