2661 search results - page 478 / 533 » Model Checking Performability Properties |
MICAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
SAC
2003
ACM
14 years 3 months ago
2003
ACM
We study in this paper the problem of broadcasting dependent data for unordered queries. However, most prior studies on dependent data broadcasting are limited to the premise of n...
SSDBM
2010
IEEE
14 years 3 months ago
2010
IEEE
We present a technique for organizing data in spatial databases with non-convex domains based on an automatic characterization using the medial-axis transform (MAT). We define a t...
WSOM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The distribution of a class of objects, such as images depicting a specific topic, can be studied by observing the best-matching units (BMUs) of the objects’ feature v...
SAGA
2001
Springer
14 years 2 months ago
2001
Springer
We study the combinatorial optimization task of choosing the smoothest map from a given family of maps, which is motivated from motor control unit calibration. The problem is of a ...