Sciweavers

728 search results - page 41 / 146
» Efficient Searching with Linear Constraints
Sort
View
IROS
2007
IEEE
141views Robotics» more  IROS 2007»
16 years 14 days ago
LIVS: Local Interaction via Virtual Stigmergy coordination in distributed search and collective cleanup
Abstract— Distributed coordination is critical for a multirobot system in hazardous waste cleanup under a dynamic environment. To achieve higher efficiency as well as robustness,...
Yan Meng, Jing Gan
DAC
1998
ACM
16 years 7 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
CRYPTO
2007
Springer
172views Cryptology» more  CRYPTO 2007»
15 years 10 months ago
Deterministic and Efficiently Searchable Encryption
We present as-strong-as-possible definitions of privacy, and constructions achieving them, for public-key encryption schemes where the encryption algorithm is deterministic. We ob...
Mihir Bellare, Alexandra Boldyreva, Adam O'Neill
CISSE
2008
Springer
15 years 8 months ago
From Constraints to Resolution Rules Part I : conceptual framework
: Many real world problems appear naturally as constraints satisfaction problems (CSP), for which very efficient algorithms are known. Most of these involve the combination of two ...
Denis Berthier
ICML
2006
IEEE
16 years 7 months ago
Bayesian learning of measurement and structural models
We present a Bayesian search algorithm for learning the structure of latent variable models of continuous variables. We stress the importance of applying search operators designed...
Ricardo Silva, Richard Scheines