10568 search results - page 53 / 2114 » Computer Intelligence and Formalization |
PPL
2002
14 years 9 months ago
2002
108
click to vote
ISNN
2011
Springer
14 years 18 days ago
2011
Springer
Abstract. Systems for keyword and non-linguistic vocalization detection in conversational agent applications need to be robust with respect to background noise and different speak...
104
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
106
click to vote
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
AMC
2005
14 years 9 months ago
2005
This paper describes a new symbolic algorithm for formal integration of a class of functions in the context of exact power series by using generalized hypergeometric series and co...