3191 search results - page 437 / 639 » Qualitative Modeling in Education |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Probabilistic matrix factorization (PMF) is a powerful method for modeling data associated with pairwise relationships, finding use in collaborative filtering, computational biolo...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper is focused on the question of simulation and visualization of 3D gel and paste dynamic effects. In a first part, we introduce a 3D physically based particle (or mass-in...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Once quantum computers reach maturity most of today's traditional cryptographic schemes based on RSA or discrete logarithms become vulnerable to quantum-based attacks. Hence, ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents one MEMS design tool with total six design flows, which makes it possible that the MEMS designers are able to choose the most suitable design flow for their sp...