107
click to vote
ACSD
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—Assume-guarantee (AG) reasoning is a compositional verification method where a verification task involving many processes is broken into multiple verification tasks i...
104
Voted
ACSD
2015
IEEE
9 years 11 months ago
2015
IEEE
200
Voted
ACSD
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—Multi-processor systems-on-chips are widely adopted in implementing modern streaming applications to satisfy the ever increasing computing requirements. Predictable memo...
78
Voted
ACSC
2015
IEEE
9 years 11 months ago
2015
IEEE
In this paper, we first describe a simplified scenario observed in mining operations, where trucks are loaded and emptied at different locations. We will then look at ways that...
79
Voted
ACSC
2015
IEEE
9 years 11 months ago
2015
IEEE
Recently there has been an increased demand for natural language processing tools that work well on unstructured and noisy texts such as texts from Twitter messages. It has been s...
85
Voted
ACSC
2015
IEEE
9 years 11 months ago
2015
IEEE
Moving clusters represent groups of objects that move together, for instance, groups of people evacuating a building. However, because moving clusters are composed of lists of clu...
76
Voted
ACSC
2015
IEEE
9 years 11 months ago
2015
IEEE
The data of interest are assumed to be represented as Ndimensional real vectors, and these vectors are compressible in some linear basis B, implying that the signals can be recons...
86
Voted
ACSC
2015
IEEE
9 years 11 months ago
2015
IEEE
Protecting software copyright has been an issue since the late 1970’s, and software license validation has been a primary method employed in an attempt to minimise software pira...
94
Voted
ACSC
2015
IEEE
9 years 11 months ago
2015
IEEE
In this paper, we introduce a new method of data transformation for finger vein recognition system. Our proposed method uses kernel mapping functions to map the data before perfor...
80
Voted
ACSC
2015
IEEE
9 years 11 months ago
2015
IEEE
Traditional static topic models mainly focus on the statistical correlation between words, but ignore the sentiment tendency and the temporal properties which may have great effec...