3342 search results - page 217 / 669 » Symbolic Robustness Analysis |
192
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
A robot’s ability to assist humans in a variety of tasks, e.g. in search and rescue or in a household, heavily depends on the robot’s reliable recognition of the objects in th...
206
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
A group key agreement protocol (GKA) allows a set of players to establish a shared secret key which can be used to secure a subsequent communication. Several efficient constantrou...
180
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
We propose a framework to achieve bandwidth efficient, error robust and bitrate scalable audio streaming. Our approach is compatible with most audio compression format. The main c...
213
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The underlying goal of microarray experiments is to identify gene expression patterns across different experimental conditions. Genes that are contained in a particula...
175
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: RNA editing is one of several post-transcriptional modifications that may contribute to organismal complexity in the face of limited gene complement in a genome. One f...