12193 search results - page 5 / 2439 » It's not all about |
FMCAD
2004
Springer
13 years 10 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
FDG
2009
ACM
14 years 1 months ago
2009
ACM
Hardware and platform limitations restrict the display settings for most computer games, forcing a tradeoff between frame rate and resolution to achieve acceptable performance. Pr...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we address an issue of design in online rating systems: how many items should be elicited from the ratings provider. Recommender and reputation systems have traditi...
COGSCI
2006
13 years 6 months ago
2006
When participants are asked to make sensibility judgments on sentences that describe action toward the body (i.e., "Mark dealt the cards to you") or away from the body (...
TARK
2007
Springer
14 years 24 days ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...