2740 search results - page 395 / 548 » Typing the Specialization Interface |
134
click to vote
ASIACRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In secure computation among a set P of players one considers an adversary who can corrupt certain players. The three usually considered types of corruption are active, pa...
128
click to vote
FOIKS
2008
Springer
15 years 5 months ago
2008
Springer
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...
159
click to vote
AIPS
2009
15 years 5 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
118
click to vote
DATAMINE
2008
15 years 4 months ago
2008
Abstract. Data stream values are often associated with multiple aspects. For example, each value observed at a given time-stamp from environmental sensors may have an associated ty...
158
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The accuracy of protein secondary structure prediction has been improving steadily towards the 88% estimated theoretical limit. There are two types of prediction algor...