Sciweavers

3233 search results - page 527 / 647
» Validation Method for Intelligent Systems
Sort
View
FLAIRS
2007
15 years 8 months ago
Autonomous Classification of Knowledge into an Ontology
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...
Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, ...
ANTSW
2008
Springer
15 years 8 months ago
Lattice Formation in Space for a Swarm of Pico Satellites
We present a distributed control strategy that lets a swarm of satellites autonomously form a lattice in orbit around a planet. The system, based on the artificial potential field ...
Carlo Pinciroli, Mauro Birattari, Elio Tuci, Marco...
ATAL
2008
Springer
15 years 8 months ago
Coordination in ambiguity: coordinated active localization for multiple robots
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
Shivudu Bhuvanagiri, K. Madhava Krishna, Supreeth ...
AAAI
2006
15 years 7 months ago
Temporal Preference Optimization as Weighted Constraint Satisfaction
We present a new efficient algorithm for obtaining utilitarian optimal solutions to Disjunctive Temporal Problems with Preferences (DTPPs). The previous state-of-the-art system ac...
Michael D. Moffitt, Martha E. Pollack
FLAIRS
2006
15 years 7 months ago
Modeling Bayesian Networks for Autonomous Diagnosis of Web Services
We took an innovative approach to service level management for network enterprise systems by using integrated monitoring, diagnostics, and adaptation services in a service-oriente...
Haiqin Wang, Guijun Wang, Alice Chen, Changzhou Wa...