3690 search results - page 504 / 738 » Computation with classical sequents |
202
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. In this paper we present a newly designed annotation and collaboration component, which has been prototypically implemented on top of an ERP (Enterprise Resource Planning...
198
click to vote
ICDCS
2009
IEEE
15 years 4 months ago
2009
IEEE
The balance between privacy and utility is a classical problem with an increasing impact on the design of modern information systems. On the one side it is crucial to ensure that ...
158
click to vote
ICIC
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we present a study on the Random Forest (RF) family of ensemble methods. From our point of view, a "classical" RF induction process presents two main drawba...
157
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper focuses on parallelization of the classic static timing analysis (STA) algorithm for verifying timing characteristics of digital integrated circuits. Given ever-increasi...
181
click to vote
CVPR
2011
IEEE
15 years 4 months ago
2011
IEEE
Unsupervised learning can be used to extract image representations that are useful for various and diverse vision tasks. After noticing that most biological vision systems for int...