GRC
2010
IEEE
13 years 9 months ago
2010
IEEE
Inference of latent variables from complicated data is one important problem in data mining. The high dimensionality and high complexity of real world data often make accurate infe...
GRC
2010
IEEE
13 years 9 months ago
2010
IEEE
We present a problem of factor analysis of three-way binary data, i.e. data described by a 3-dimensional binary matrix I, describing a relationship between objects, attributes, an...
DICTA
2008
13 years 9 months ago
2008
—This paper proposes a dominant color based vector quantization algorithm that automatically categorizes image regions. In contrast to the conventional vector quantization algori...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer