Sciweavers

2168 search results - page 144 / 434
» Randomized Algorithms and Complexity Theory
Sort
View
CSC
2008
15 years 4 months ago
Efficient and Effective Practical Algorithms for the Set-Covering Problem
- The set-covering problem is an interesting problem in computational complexity theory. In [1], the setcovering problem has been proved to be NP hard and a greedy heuristic algori...
Qi Yang, Jamie McPeek, Adam Nofsinger
131
Voted
CAV
2006
Springer
128views Hardware» more  CAV 2006»
15 years 7 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
AAAI
1990
15 years 4 months ago
Generalization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
Alan M. Frisch, C. David Page Jr.
125
Voted
ECAL
2005
Springer
15 years 9 months ago
The Quantitative Law of Effect is a Robust Emergent Property of an Evolutionary Algorithm for Reinforcement Learning
An evolutionary reinforcement-learning algorithm, the operation of which was not associated with an optimality condition, was instantiated in an artificial organism. The algorithm ...
J. J. McDowell, Zahra Ansari
108
Voted
ICC
2007
IEEE
104views Communications» more  ICC 2007»
15 years 9 months ago
Semiblind Carrier Frequency Offset Estimation for OFDM Systems
— In this paper we consider the problem of semiblind carrier frequency offset (CFO) estimation for OFDM systems. Specifically, we consider a synchronization scheme based on the ...
Tilde Fusco, Ferdinando Marrone, Mario Tanda