9067 search results - page 1646 / 1814 » Adaptive Model Checking |
145
click to vote
ICANN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper proposes a general approach named ExpectationMiniMax (EMM) for clustering analysis without knowing the cluster number. It describes the contrast function of Ex...
168
click to vote
IMR
2003
Springer
15 years 11 months ago
2003
Springer
The visualization of 3D vector and tensor fields in a 2D image is challenging because the large amount of information will either be mixed during projection to 2D or lead to seve...
189
click to vote
INDOCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
163
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
— with the ubiquity of handheld devices people can now access information and conduct online transactions virtually anywhere and anytime. In such flexible but less reliable envir...
163
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...