1087 search results - page 141 / 218 » Generation under Space Constraints |
130
Voted
IANDC
2008
15 years 23 days ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
107
click to vote
JKM
2006
15 years 20 days ago
2006
Purpose Knowledge management for space exploration is part of a multi-generational effort. Each mission builds on knowledge from prior missions, and learning is the first step in ...
97
Voted
APPROX
2009
Springer
15 years 7 months ago
2009
Springer
Motivated by questions in property testing, we search for linear error-correcting codes that have the “single local orbit” property: i.e., they are specified by a single loca...
105
click to vote
BMCBI
2010
15 years 25 days ago
2010
Background: Finishing is the process of improving the quality and utility of draft genome sequences generated by shotgun sequencing and computational assembly. Finishing can invol...
97
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper we propose a method for matching articulated shapes represented as large sets of 3D points by aligning the corresponding embedded clouds generated by locally linear ...