17018 search results - page 164 / 3404 » From the How to the What |
CPAIOR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
ACMACE
2007
ACM
14 years 1 months ago
2007
ACM
This workshop addresses current needs in the games developers' community and games industry to evaluate the overall user experience of games. New forms of interaction techniq...
LATIN
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...