Sciweavers

2829 search results - page 360 / 566
» Regularization Methods for Additive Models
Sort
View
FMCAD
2007
Springer
16 years 21 days ago
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, ...
ICRA
1993
IEEE
162views Robotics» more  ICRA 1993»
15 years 10 months ago
An Integrated Experience-Based Approach to Navigational Path Planning for Autonomous Mobile Robots
Navigationalpath planning is a classicalproblem in autonomous mobile robotics. Most AI approachesto path planning use goal-directedheuristicsearch of problem spaces defined by spa...
Ashok K. Goel, Michael W. Donnellan, Nancy Vazquez...
ATAL
2008
Springer
15 years 8 months ago
Autonomous transfer for reinforcement learning
Recent work in transfer learning has succeeded in making reinforcement learning algorithms more efficient by incorporating knowledge from previous tasks. However, such methods typ...
Matthew E. Taylor, Gregory Kuhlmann, Peter Stone
JPDC
2007
84views more  JPDC 2007»
15 years 6 months ago
Distributed average consensus with least-mean-square deviation
We consider a stochastic model for distributed average consensus, which arises in applications such as load balancing for parallel processors, distributed coordination of mobile a...
Lin Xiao, Stephen P. Boyd, Seung-Jean Kim
PVLDB
2010
174views more  PVLDB 2010»
15 years 5 months ago
x-RDF-3X: Fast Querying, High Update Rates, and Consistency for RDF Databases
The RDF data model is gaining importance for applications in computational biology, knowledge sharing, and social communities. Recent work on RDF engines has focused on scalable p...
Thomas Neumann, Gerhard Weikum