1237 search results - page 75 / 248 » Strictness and Totality Analysis |
172
click to vote
ECLIPSE
2006
ACM
16 years 9 days ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
156
click to vote
MM
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we present a novel view to home video content analysis, which aims at tracking the capture intention of camcorder users. Based on the study of intention mechanism i...
163
click to vote
APN
1995
Springer
15 years 10 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
193
click to vote
TSP
2008
15 years 6 months ago
2008
The assessment of multivariate association between two complex random vectors is considered. A number of correlation coefficients based on three popular correlation analysis techni...
160
click to vote
VLSID
2006
IEEE
16 years 6 months ago
2006
IEEE
With increasing design complexity, as well as continued scaling of supplies, the design and analysis of power/ground distribution networks poses a difficult problem in modern IC d...