7991 search results - page 432 / 1599 » Using More Reasoning to Improve |
154
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
268
click to vote
TCOM
2010
15 years 1 months ago
2010
Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. The pr...
209
click to vote
HICSS
2003
IEEE
16 years 7 days ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
183
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an improved method for decomposing multivariate polynomials. This problem, also known as the Functional Decomposition Problem (FDP) [17, 9, 27], is class...
335
click to vote
EGPGV
2011
Springer
15 years 4 months ago
2011
Springer
With faster graphics hardware comes the possibility to realize even more complicated applications that require more detailed data and provide better presentation. The processors ke...