2308 search results - page 58 / 462 » Representing Symbolic Reasoning |
164
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
190
click to vote
SEMCO
2007
IEEE
15 years 11 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...
138
click to vote
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
152
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
139
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Symbol synchronization in traditional hardwaredriven communication systems has relied on the transmission of training sequences of symbols just before the beginning of t...