7289 search results - page 328 / 1458 » A Dependent Set Theory |
203
click to vote
COMGEO
2011
ACM
14 years 10 months ago
2011
ACM
ABSTRACT . Categories and Subject Descriptors K. Computing Milieux K.m MISCELLANEOUS General Terms Theory Keywords Cyber-physics, Internet of Things, Quantum computing Cloud Comput...
222
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
253
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Traditional recommendation algorithms often select products with the highest predicted ratings to recommend. However, earlier research in economics and marketing indicates that a ...
353
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
174
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...