27119 search results - page 5419 / 5424 » Languages |
CVPR
2012
IEEE
13 years 1 hour ago
2012
IEEE
We propose a novel mode of feedback for image search, where a user describes which properties of exemplar images should be adjusted in order to more closely match his/her mental m...
114
Voted
ISCA
2012
IEEE
13 years 3 min ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
105
click to vote
ACL
2012
12 years 12 months ago
2012
Understanding the ways in which information achieves widespread public awareness is a research question of significant interest. We consider whether, and how, the way in which th...
106
click to vote
LICS
2012
IEEE
12 years 12 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
ICDT
2012
ACM
12 years 12 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...