5550 search results - page 886 / 1110 » Different Approaches to Proof Systems |
160
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
With the growth in sociality and interaction around online news media, news sites are increasingly becoming places for communities to discuss and address common issues spurred by ...
279
click to vote
OR
2011
Springer
15 years 1 months ago
2011
Springer
Developing Web-based systems for agriculture and rural development requires the collaboration of experts from different scientific fields and backgrounds. Thus, it is crucial to ...
174
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In video coding systems using adaptive arithmetic coding to compress texture information, the employed symbol probability models need to be retrained every time the coding process...
166
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We show a novel approach of automatically generating minutes style extractive summaries for parliamentary speech. Minutes are structured summaries consisting of sequences of busin...
178
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Enterprise database systems handle a variety of diverse query workloads that are of different importance to the business. For example, periodic reporting queries are usually mi...