171 search results - page 6 / 35 » Techniques for Scaling Up Analyses Based on Pre-interpretati... |
TCS
2008
13 years 7 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, a video stabilization technique is presented. There are four steps in the proposed approach. We begin with extracting feature points from the input image using the ...
BIBE
2003
IEEE
14 years 25 days ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
ECML
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Principal component analysis (PCA) is a well-known classical data analysis technique. There are a number of algorithms for solving the problem, some scaling better than o...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...