6926 search results - page 295 / 1386 » A More Effective CEFF |
231
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
166
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
157
click to vote
GRAPHITE
2007
ACM
15 years 10 months ago
2007
ACM
: Communicating the ethos of a subject (e.g. a brand or cultural or historical narrative) within an environment, such as a museum or visitor centre, is often undermined by the poor...
147
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
This study examines dating strategies in Social Networking Sites (SNS) and the features that help participants achieve their dating goals. Qualitative data suggests the SNS featur...
176
Voted
FDG
2009
ACM
15 years 10 months ago
2009
ACM
Good artificial intelligence for strategy and first person shooter games requires tactical information. Tactical information assists agents in choosing appropriate places to place...