Sciweavers

3906 search results - page 494 / 782
» From grids to places
Sort
View
CIS
2005
Springer
16 years 9 days ago
Moving Block Sequence and Organizational Evolutionary Algorithm for General Floorplanning
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
Jing Liu, Weicai Zhong, Licheng Jiao
CP
2005
Springer
16 years 9 days ago
Using SAT in QBF
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
Horst Samulowitz, Fahiem Bacchus
ICCBR
2005
Springer
16 years 9 days ago
On the Effectiveness of Automatic Case Elicitation in a More Complex Domain
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...
Siva N. Kommuri, Jay H. Powell, John D. Hastings
IPSN
2005
Springer
16 years 8 days ago
Estimation in sensor networks: a graph approach
Abstract—In many sensor networks applications, sensors collect correlated measurements of a physical field, e.g., temperature field in a building or in a data center. However, ...
Haotian Zhang, José M. F. Moura, Bruce H. K...
ISPEC
2005
Springer
16 years 8 days ago
Token-Controlled Public Key Encryption
Token-controlled public key encryption (TCPKE) schemes, introduced in [1], offer many possibilities of application in financial or legal scenarios. Roughly speaking, in a TCPKE s...
Joonsang Baek, Reihaneh Safavi-Naini, Willy Susilo