1559 search results - page 98 / 312 » Some Group Theory Problems |
131
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
146
click to vote
ISPAN
2008
IEEE
15 years 10 months ago
2008
IEEE
- Many peer-to-peer file sharing systems have been proposed to take the locality and heterogeneity into account. The two-layered architecture is one of the most widespread systems ...
133
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...
136
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
A complex Enterprise Relationship Planning (ERP) data migration was in trouble: low quality, poor performance, instability, and an overworked team threatened project success. Faci...
115
click to vote
ADCM
2000
15 years 4 months ago
2000
We discuss the problem of detecting the location of discontinuities of derivatives of a periodic function, given either finitely many Fourier coefficients of the function, or the ...