2661 search results - page 410 / 533 » Model Checking Performability Properties |
WACV
2007
IEEE
14 years 4 months ago
2007
IEEE
Dynamic wettability of a nanostructured surface is an important property for many liquid-related applications of nanostructures. The dynamic wettability analysis is performed by m...
ISVC
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a GPU framework for the real-time visualization of natural textured terrains, as well as the steps that are needed to populate them on-the-fly with tens of tho...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we present an overview of an on-chip noise detection circuit. Mainly, this work is different form the previous works concerning on-chip noise measurement in one or m...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— We analyze the generalization performance of a student in a model composed of linear perceptrons: a true teacher, ensemble teachers, and the student. Calculating the generaliza...
SUTC
2006
IEEE
14 years 4 months ago
2006
IEEE
We examine the problem of detecting the direction of motion in a binary sensor network; in such a network each sensor’s value is supplied reliably in a single bit of information...