144227 search results - page 28843 / 28846 » Using |
209
click to vote
ICTAC
2010
Springer
15 years 11 days ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
126
click to vote
JCT
2010
15 years 9 days ago
2010
A linear equation L is called k-regular if every k-coloring of the positive integers contains a monochromatic solution to L. Richard Rado conjectured that for every positive intege...
110
Voted
JSYML
2010
15 years 9 days ago
2010
By taking a closer look at the construction of an Ackermann function we see that between any primitive recursive degree and its Ackermann modification there is a dense chain of p...
158
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Frequency overlap across wireless networks with different radio technologies can cause severe interference and reduce communication reliability. The circumstances are particularly...
127
click to vote
EMNLP
2009
14 years 11 months ago
2009
Many algorithms extract terms from text together with some kind of taxonomic classification (is-a) link. However, the general approaches used today, and specifically the methods o...