4944 search results - page 735 / 989 » A Framework for Adaptive Visualization |
168
click to vote
LOGCOM
2002
15 years 6 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
178
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
220
click to vote
COLT
2010
Springer
15 years 4 months ago
2010
Springer
We present a new online learning algorithm in the selective sampling framework, where labels must be actively queried before they are revealed. We prove bounds on the regret of ou...
179
click to vote
EMNLP
2010
15 years 4 months ago
2010
Discovering and summarizing opinions from online reviews is an important and challenging task. A commonly-adopted framework generates structured review summaries with aspects and ...
258
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...