1646 search results - page 224 / 330 » Automatic generation of two-party computations |
FASE
2011
Springer
13 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
VIS
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
CVPR
2007
IEEE
15 years 6 days ago
2007
IEEE
Automatic evaluation of visual tracking algorithms in the absence of ground truth is a very challenging and important problem. In the context of online appearance modeling, there ...
OZCHI
2006
ACM
14 years 4 months ago
2006
ACM
There are various situations where a distinction needs to be made between group members and outsiders. For example, to protect students in chat groups from unpleasant incidents ca...
VISUALIZATION
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...