8874 search results - page 357 / 1775 » A New Implementation of Automath |
205
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We present a new technology for enhancing touch interfaces with tactile feedback. The proposed technology is based on the electrovibration principle, does not use any moving parts...
162
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We describe Chronicle, a new system that allows users to explore document workflow histories. Chronicle captures the entire video history of a graphical document, and provides lin...
219
click to vote
WEA
2010
Springer
15 years 4 months ago
2010
Springer
Classifying network flows by their application type is the backbone of many crucial network monitoring and controlling tasks, including billing, quality of service, security and tr...
182
click to vote
WICON
2010
15 years 4 months ago
2010
A core functionality of Wireless Sensor Networks (WSNs) is to transport information from the network to the application/user. The evolvable application reliability requirements and...
215
click to vote
ACL
2009
15 years 4 months ago
2009
We present a graph-based semi-supervised learning for the question-answering (QA) task for ranking candidate sentences. Using textual entailment analysis, we obtain entailment sco...