12774 search results - page 2465 / 2555 » A Framework for Proof Systems |
182
click to vote
CICLING
2011
Springer
14 years 10 months ago
2011
Springer
In recent years, extraction of temporal relations for events that express sentiments has drawn great attention of the Natural Language Processing (NLP) research communities. In thi...
209
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—Body sensor networks (BSNs) have been developed for a set of performance-critical applications, including smart healthcare, assisted living, emergency response, athletic perform...
207
click to vote
KCAP
2011
ACM
14 years 9 months ago
2011
ACM
Recently, various crowdsourcing initiatives showed that targeted efforts of user communities result in massive amounts of tags. For example, the Netherlands Institute for Sound a...
222
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...
123
click to vote
AEOG
2011
14 years 6 months ago
2011
The generalization index system is one of the critical issues for computer-aided land use database generalization. This paper studies the scale and land use pattern effects on lan...