1368 search results - page 90 / 274 » Personality-Based Practical Reasoning |
116
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
106
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
116
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
105
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...
120
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...