1368 search results - page 130 / 274 » Personality-Based Practical Reasoning |
137
click to vote
ENTCS
2007
15 years 3 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
135
Voted
IJNSEC
2007
15 years 3 months ago
2007
McEliece is one of the oldest known public key cryptosystems, however it was not quite as successful as RSA. One main reason is that it is widely believed that code-based cryptosy...
122
click to vote
TCOM
2011
14 years 10 months ago
2011
—Using high-rate theory approximations we introduce flexible practical quantizers based on possibly non-Gaussian models in both the constrained resolution (CR) and the constrain...
132
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We consider the blind separation of sources with general (e.g., not necessarily stationary) temporal covariance structures. When the sources’ temporal covariance matrices are kn...
134
click to vote
AAAI
2011
14 years 3 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...