13277 search results - page 2359 / 2656 » An Approach to Clustering Abstracts |
189
click to vote
COST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Being aware of the gap between technological offers and user expectations, the paper aims to illustrate the necessity of anthropocentric designs ("user-pulled")...
245
click to vote
COST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Human machine interaction is one of the emerging fields for the coming years. Interacting with others in our daily life is a face to face interaction. Faces are the natur...
196
click to vote
CP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
213
click to vote
CP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
188
click to vote
CP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to c...