580 search results - page 17 / 116 » Some Computational Aspects of distance-sat |
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
There has been a lot of work on evaluating and improving the relevance of web search engines. In this paper, we suggest using human computation games to elicit data from players t...
DAC
2009
ACM
14 years 10 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
SIGCSE
2005
ACM
14 years 3 months ago
2005
ACM
The author shares techniques used in a successful "Ethics and Professionalism" class at California State University, San Bernardino. The author describes active learning...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity...
IJSI
2010
13 years 8 months ago
2010
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...