3116 search results - page 227 / 624 » Positively dependent types |
147
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
130
Voted
ISER
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we propose an autonomous precision landing method for an unmanned helicopter based on an on-board visual navigation system consisting of a single pan-tilting camera,...
172
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
In the literature, the validity of theories or models for trust is usually based on intuition and common sense. Theories and models are not often verified experimentally. The rese...
147
Voted
TAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes two procedures for generating very short summaries for documents from the DUC-2003 competition: a chunk extraction method based on syntactic dependen...
144
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Placement of protection devices in a conventional feeder (without distributed generation) is often performed so as to minimize traditional reliability indices (SAIDI, SAIFI, MAIFI...