3865 search results - page 625 / 773 » From Bidirectionality to Alternation |
188
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
162
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
This work investigates personalized social search based on the user’s social relations – search results are re-ranked according to their relations with individuals in the user...
165
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
182
click to vote
DAMON
2009
Springer
16 years 1 months ago
2009
Springer
Flash solid state drives (SSDs) provide an attractive alternative to traditional magnetic hard disk drives (HDDs) for DBMS applications. Naturally there is substantial interest in...
160
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a useful new mechanism that facilitates the atomic exchange of many large baskets of securities in a combinatorial exchange. Cryptography prevents information ...