677 search results - page 43 / 136 » Dependent Types from Counterexamples |
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...
108
click to vote
HPCA
1995
IEEE
15 years 1 months ago
1995
IEEE
The throughput of a multiple-pipelined processor suffers due to lack of sufficient instructions to make multiple pipelines busy and due to delays associated with pipeline depende...
102
click to vote
ICASSP
2010
IEEE
14 years 8 months ago
2010
IEEE
Independent component analysis (ICA) has been successfully applied for the analysis of functional magnetic resonance imaging (fMRI) data. However, independence might be too strong...
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper we formulate a power loading problem for the spatial subchannels (parallel channels) of a single-carrier MIMO-SVD system. The power loading solution is designed to mi...
ML
1998
ACM
14 years 9 months ago
1998
ACM
We review the application of statistical mechanics methods to the study of online learning of a drifting concept in the limit of large systems. The model where a feed-forward netwo...