711 search results - page 61 / 143 » Pictures from the Skype |
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
CONCUR
2010
Springer
15 years 29 days ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
JMIV
2006
14 years 11 months ago
2006
This paper studies the multi-solution phenomenon for the perspective four point (P4P) problem from geometric and algebraic aspects. We give a pure geometric proof that the P4P pro...
100
click to vote
ISBRA
2010
Springer
14 years 9 months ago
2010
Springer
The study of non-sequential alignments, with different connectivity of the aligned fragments in the proteins being compared can offer a more complete picture of the structural, evo...
115
click to vote
JDCTA
2010
14 years 6 months ago
2010
In visual cryptography, the secret can be any written text, graphical representation, or picture. This technique, some time called visual secret sharing (VSS), allows visual infor...