5946 search results - page 1001 / 1190 » Visual requirement representation |
188
click to vote
MICCAI
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we propose a weakly supervised learning algorithm for appearance models based on the minimum description length (MDL) principle. From a set of training images or volu...
160
click to vote
MICCAI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The creation of average anatomical atlases has been a growing area of research in recent years. It is of increased value to construct representations of, not only intensi...
196
click to vote
SOCO
2007
Springer
16 years 18 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
178
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
136
click to vote
TCC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...