3341 search results - page 284 / 669 » Managing a Large |
144
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
178
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper studies the design and analysis of optimal training-based beamforming in uncorrelated multipleinput multiple-output (MIMO) channels with known Gaussian statistics. Fi...
179
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a recommender system based on Dynamically Structured Holographic Memory (DSHM), a cognitive model of associative memory that uses holographic reduced representations a...
161
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
In order to handle classification problems with real-valued attributes using discretization algorithms it is necessary to obtain a good and reduced set of cut points in order to l...
179
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...