3341 search results - page 284 / 669 » Managing a Large |
178
Voted
ICSE
2003
IEEE-ACM
16 years 7 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...
201
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...
200
Voted
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...
180
click to vote
GECCO
2004
Springer
16 years 25 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...
197
click to vote
CCGRID
2004
IEEE
15 years 11 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...