3342 search results - page 53 / 669 » Symbolic Robustness Analysis |
196
click to vote
SEMCO
2007
IEEE
15 years 12 months ago
2007
IEEE
The work presented in this paper aims to combine Latent Semantic Analysis methodology, common sense and traditional knowledge representation in order to improve the dialogue capab...
207
click to vote
BIS
2010
15 years 6 months ago
2010
Abstract. Process models provide visual support for analyzing and improving complex organizational processes. In this paper, we discuss differences of process modeling languages us...
163
click to vote
ICC
2009
IEEE
16 years 14 days ago
2009
IEEE
—We present a detection scheme for multiple-symbol DPSK for use in a statistically unknown time-varying channel. The scheme relies on a parametric representation of the timevaryi...
156
Voted
AAECC
1999
Springer
15 years 5 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
144
click to vote
ICCS
2007
Springer
15 years 12 months ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...