3984 search results - page 630 / 797 » A Model-Driven Transformation Method |
148
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Multiple Camera Systems (MCS) have been widely used in many vision applications and attracted much attention recently. There are two principle types of MCS, one is the Rigid Multi...
259
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
153
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
153
click to vote
HIPEAC
2009
Springer
15 years 11 months ago
2009
Springer
In this article, we present a parallel implementation of a 1024 point Fast Fourier Transform (FFT) operating with a subthreshold supply voltage, which is below the voltage that tur...
143
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
The structure of customer communication network provides us a natural way to understand customers’ relationships. Traditional customer relationship management (CRM) methods focu...