7827 search results - page 1215 / 1566 » time 2007 |
155
click to vote
CPM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Detecting historical recombination is an important computational problem which has received great attention recently. Due to recombination, input sequences form a mosaic,...
186
click to vote
CRYPTO
2007
Springer
16 years 26 days ago
2007
Springer
To date the NTRUEncrypt security parameters have been based on the existence of two types of attack: a meet-in-the-middle attack due to Odlyzko, and a conservative extrapolation of...
157
click to vote
CSL
2007
Springer
16 years 26 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
172
click to vote
CSL
2007
Springer
16 years 26 days ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
195
click to vote
DAGM
2007
Springer
16 years 26 days ago
2007
Springer
We present an approach for estimating the 3D position and in case of articulated objects also the joint configuration from segmented 2D images. The pose estimation without initial...