2917 search results - page 426 / 584 » Satisfying Interaction Constraints |
131
click to vote
AAAI
1997
15 years 6 months ago
1997
Mixed-initiative planning envisions a framework in which automated and human planners interact to jointly construct plans that satisfy specific objectives. In this paper, we repo...
126
click to vote
CANDT
2009
15 years 5 months ago
2009
This paper describes a mixed method, empirical analysis of conversation reuse in an online technical support community. I find that the same characteristics that make the conversa...
162
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
123
click to vote
IJACT
2008
15 years 4 months ago
2008
Abstract. A signer in a Nominative Signature (NS) scheme can arbitrarily choose a nominee, then jointly generate a signature in such a way that the signature can only be verified w...
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...