Sciweavers

2721 search results - page 67 / 545
» An experimental analysis of Lemke-Howson algorithm
Sort
View
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
15 years 3 months ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
SAC
2003
ACM
15 years 3 months ago
An Adaptive Three-Dimensional DCT Compression Based on Motion Analysis
In this paper, we propose an adaptive 3D-DCT compression technique, which dynamically determines an optimal size of the video cube based on the motion analysis. The technique cons...
Borko Furht, Ken Gustafson, Hesong Huang, Oge Marq...
WWW
2005
ACM
15 years 10 months ago
Can link analysis tell us about web traffic?
In this paper we measure correlation between link analysis characteristics for Web pages such as in- and out-degree, PageRank and RBS with those obtained from real Web traffic ana...
Marcin Sydow
APBC
2003
14 years 11 months ago
Microarray Image Processing Based on Clustering and Morphological Analysis
Microarrays allow the monitoring of expressions for tens of thousands of genes simultaneously. Image analysis is an important aspect for microarray experiments that can affect sub...
Shuanhu Wu, Hong Yan
CL
2004
Springer
14 years 9 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...