Sciweavers

3405 search results - page 230 / 681
» Factoring Groups Efficiently
Sort
View
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 10 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
GECCO
2000
Springer
127views Optimization» more  GECCO 2000»
15 years 10 months ago
Evolving Molecules for Drug Design Using Genetic Algorithms via Molecular Trees
We present a new representation for a genetic algorithm to evolve molecular structures representing possible drugs that bind to a given protein target receptor. Our representation...
Gerard Kian-Meng Goh, James A. Foster
175
Voted
PDPTA
2008
15 years 8 months ago
Intrusion-Tolerant Dissemination in Large-Scale Systems
Abstract - With the growth of the Internet and increased demand for Web Services has come a heightened need for scalable wide-area group communication systems. The need for trust i...
Kim Potter Kihlstrom, Robin Elliott, Kelsey Marshm...
IADIS
2004
15 years 8 months ago
A Case Study on Research Assistant System From Knowledge Management Perspective
The purpose of this study is to develop a web-based Research Assistant System (RAS), a Knowledge Management System by community of practice, to improve the group performance of Re...
Jin Yang, Ming Huang
CORR
2010
Springer
167views Education» more  CORR 2010»
15 years 6 months ago
Network Flow Algorithms for Structured Sparsity
We consider a class of learning problems that involve a structured sparsityinducing norm defined as the sum of -norms over groups of variables. Whereas a lot of effort has been pu...
Julien Mairal, Rodolphe Jenatton, Guillaume Obozin...