8825 search results - page 182 / 1765 » All for one or one for all |
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
It is a hot research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. The BFL algorithm is the most effective counterexample minimi...
ISM
2005
IEEE
15 years 7 months ago
2005
IEEE
One of the ideas of ubiquitous computing is that computing resources should be embedded ubiquitously in the environment, making them available to any nearby users. Some researcher...
106
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
CSCWD
2005
Springer
15 years 7 months ago
2005
Springer
More and more people are interested in Internet-based e-learning. Internet-based e-learning has become one very important arena of modern education system. This paper is based our ...
TARK
2005
Springer
15 years 7 months ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...