Search Sciweavers | Sciweavers

4894 search results - page 42 / 979

» Choices

155

click to vote

ECSQARU
2007
Springer

110views Automated Reasoning» more ECSQARU 2007»

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

15 years 12 months ago

Download placid.insa-rouen.fr

Salem Benferhat, Karima Sedki

claim paper

Read More »

129

Voted

ICALP
2007
Springer

81views Programming Languages» more ICALP 2007»

Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms

15 years 12 months ago

Download eprint.iacr.org

Mihir Bellare, Thomas Ristenpart

claim paper

Read More »

128

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 12 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

113

Voted

SOFSEM
2007
Springer

83views Theoretical Computer Science» more SOFSEM 2007»

A Short Introduction to Computational Social Choice

15 years 12 months ago

Download staff.science.uva.nl

Yann Chevaleyre, Ulle Endriss, Jérôme...

claim paper

Read More »

126

Voted

CSCW
2006
ACM

106views Social Sciences» more CSCW 2006»

Sounds good to me: effects of photo and voice profiles on gaming partner choice

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers