60 search results - page 9 / 12 » Towards automated detection of feature interactions |
Publication
The most expressive way humans display emotions is through facial expressions. Humans detect and interpret faces and facial expressions in a scene with little or no effort. Still, ...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
SIGCSE
2010
ACM
14 years 1 months ago
2010
ACM
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
CBMS
2006
IEEE
14 years 22 days ago
2006
IEEE
The Communications Engineering Branch of the National Library of Medicine is collaborating with the National Cancer Institute (NCI) in developing applications for medical educatio...
CPAIOR
2009
Springer
14 years 1 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...