1893 search results - page 144 / 379 » Computational composites |
138
Voted
JCS
2010
15 years 3 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
102
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a global vector field computation algorithm in configuration spaces for smooth feedback motion planning. Our algorithm performs approximate cell decomposition in t...
135
Voted
EUROCRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Essentially all work studying the round complexity of secure computation assumes broadcast as an atomic primitive. Protocols constructed under this assumption tend to have very poo...
170
click to vote
HT
2009
ACM
15 years 11 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
140
Voted
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...