4155 search results - page 659 / 831 » Topic-Specific Optimization and Structuring |
109
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
121
click to vote
SMA
2009
ACM
15 years 8 months ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— In this paper the problem of designing a decentralized robust controller for a plant describing a dragfree satellite is addressed. From recent experiences in dragfree c...
130
Voted
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper presents an eavesdropper-proof algorithm that is capable of fast generating symmetric (secret) keys. Instead of literally exchanging secret keys, both the sender and ...