Sciweavers

1804 search results - page 155 / 361
» On set systems with a threshold property
Sort
View
SODA
2008
ACM
108views Algorithms» more  SODA 2008»
15 years 8 months ago
Dimension augmentation and combinatorial criteria for efficient error-resistant DNA self-assembly
DNA self-assembly has emerged as a rich and promising primitive for nano-technology. Experimental and analytical evidence indicates that such systems are prone to errors, and acco...
Ho-Lin Chen, Ashish Goel, Chris Luhrs
SRDS
2008
IEEE
16 years 29 days ago
Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
Steven Y. Ko, Imranul Hoque, Indranil Gupta
PPSN
2004
Springer
15 years 12 months ago
Evolution of Voronoi-Based Fuzzy Controllers
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. One of the most successful methods to auto...
Carlos Kavka, Marc Schoenauer
IJFCS
2006
110views more  IJFCS 2006»
15 years 6 months ago
Sat-based Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
Fang Yu, Bow-Yaw Wang
NN
1998
Springer
201views Neural Networks» more  NN 1998»
15 years 6 months ago
Neural mechanisms of selection and control of visually guided eye movements
The selection and control of action is a critical problem for both biological and machine animated systems that must operate in complex real world situations. Visually guided eye ...
Jeffrey D. Schall, Doug P. Hanes