7296 search results - page 344 / 1460 » informs 2010 |
175
Voted
CGF
2010
15 years 7 months ago
2010
Interactive information visualization systems rely on widgets to allow users to interact with the data and modify the representation. We define interactive legends as a class of c...
220
Voted
INCDM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Leveraging the power of increasing amounts of data to analyze customer base for attracting and retaining the most valuable customers is a major problem facing companies i...
195
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
183
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
184
Voted
DAS
2010
Springer
15 years 8 months ago
2010
Springer
Automated extraction of bibliographic information from journal articles is key to the affordable creation and maintenance of citation databases, such as MEDLINE