5639 search results - page 123 / 1128 » Timed Abstract Non-interference |
103
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
142
click to vote
ICANN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
125
click to vote
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
109
click to vote
IVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
MICAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In highly dynamic environments with uncertainty the elaboration of long or rigid plans is useless because the constructed plans are frequently dismissed by the arrival or...