5510 search results - page 743 / 1102 » Mathematics |
169
click to vote
FOCS
2005
IEEE
16 years 13 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
210
click to vote
HPDC
2005
IEEE
16 years 13 days ago
2005
IEEE
Scheduling strategies for parallel and distributed computing have mostly been oriented toward performance, while striving to achieve some notion of fairness. With the increase in ...
188
click to vote
ICAS
2005
IEEE
16 years 12 days ago
2005
IEEE
Sensor networks are useful for environmental monitoring, military applications, disaster management, etc. In many applications, sensors are supposed to know their geographic locat...
181
click to vote
ICDCS
2005
IEEE
16 years 12 days ago
2005
IEEE
The design of the access networks of next generation broadband wireless systems requires special attention in the light of changing network characteristics. In this paper, we pres...
171
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
The encoding process of image vector quantization (VQ) is very heavy due to it performing a lot of k-dimensional Euclidean distance computations. In order to speed up VQ encoding,...