Sciweavers

2185 search results - page 235 / 437
» Active Learning with Statistical Models
Sort
View
MOBICOM
2010
ACM
15 years 6 months ago
Inferring and mitigating a link's hindering transmissions in managed 802.11 wireless networks
In 802.11 managed wireless networks, the manager can address under-served links by rate-limiting the conflicting nodes. In order to determine to what extent each conflicting node ...
Eugenio Magistretti, Omer Gurewitz, Edward W. Knig...
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 10 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
AAAI
2008
15 years 8 months ago
Learning to Improve Earth Observation Flight Planning
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...
Robert A. Morris, Nikunj C. Oza, Leslie Keely, Eli...
ESANN
2003
15 years 7 months ago
Developmental pruning of synapses and category learning
After an initial peak, the number of synapses in mammalian cerebral cortex decreases in the formative period and throughout adult life. However, if synapses are taken to reflect ci...
Roberto Viviani, Manfred Spitzer
ECAI
2000
Springer
15 years 10 months ago
Autonomous Environment and Task Adaptation for Robotic Agents
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...
Michael Beetz, Thorsten Belker