17 search results - page 2 / 4 » Feature interaction detection using backward reasoning with ... |
CHI
2007
ACM
14 years 5 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...
CSL
2011
Springer
12 years 11 months ago
2011
Springer
The automatic recognition of user’s communicative style within a spoken dialog system framework, including the affective aspects, has received increased attention in the past f...
BMCBI
2008
13 years 4 months ago
2008
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...
CADE
2005
Springer
14 years 5 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...
AAAI
2000
13 years 6 months ago
2000
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...