Sciweavers

1208 search results - page 178 / 242
» Uniform eventown problems
Sort
View
FOIKS
2008
Springer
14 years 11 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
ALT
2010
Springer
14 years 11 months ago
Approximation Stability and Boosting
Stability has been explored to study the performance of learning algorithms in recent years and it has been shown that stability is sufficient for generalization and is sufficient ...
Wei Gao, Zhi-Hua Zhou
LREC
2008
104views Education» more  LREC 2008»
14 years 11 months ago
Performance Evaluation of Speech Translation Systems
One of the most challenging tasks for uniformed service personnel serving in foreign countries is effective verbal communication with the local population. To remedy this problem,...
Brian A. Weiss, Craig Schlenoff, Greg Sanders, Mic...
NIPS
2008
14 years 11 months ago
Signal-to-Noise Ratio Analysis of Policy Gradient Algorithms
Policy gradient (PG) reinforcement learning algorithms have strong (local) convergence guarantees, but their learning performance is typically limited by a large variance in the e...
John W. Roberts, Russ Tedrake
PTS
2008
87views Hardware» more  PTS 2008»
14 years 11 months ago
Test Construction for Mathematical Functions
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
Victor V. Kuliamin