3384 search results - page 222 / 677 » More Testable Properties |
ISBI
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper, we show that several well-known nonlinear surface registration algorithms can be put in an ICP-like framework, and thus boil down to the successive estimation of po...
PPPJ
2009
ACM
14 years 5 months ago
2009
ACM
The problem of programming scalable multicore processors has renewed interest in message-passing languages and frameworks. Such languages and frameworks are typically actororiente...
ESSOS
2009
Springer
14 years 5 months ago
2009
Springer
Through first-responder access to sensitive information for which they have not been pre-vetted, lives and property can be saved. We describe enhancements to a trusted emergency i...
CSFW
2009
IEEE
14 years 5 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
HAPTICS
2009
IEEE
14 years 5 months ago
2009
IEEE
In this experiment we investigated the influence of stimulus properties on exploratory movement parameters in active touch. More precisely, we investigated whether and to what ex...