2496 search results - page 423 / 500 » On covering by translates of a set |
163
Voted
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
121
Voted
TIT
2010
14 years 8 months ago
2010
We investigate error-correcting codes for a the rank-modulation scheme with an application to flash memory devices. In this scheme, a set of n cells stores information in the permu...
118
Voted
TSP
2011
14 years 8 months ago
2011
—Ranking data is a type of data obtained in some elections, in customer surveys, as well as from web search results. Such data may be considered as a type of signal defined on t...
105
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
150
click to vote
JCDL
2011
ACM
14 years 4 months ago
2011
ACM
We describe here a method for automatically identifying word sense variation in a dated collection of historical books in a large digital library. By leveraging a small set of kno...