Sciweavers

2588 search results - page 402 / 518
» Swarm Intelligence: From Natural to Artificial Systems
Sort
View
TABLEAUX
2009
Springer
15 years 2 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
WWW
2004
ACM
15 years 10 months ago
Converting UML to OWL ontologies
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
Dragan Gasevic, Dragan Djuric, Vladan Devedzic, Vi...
KI
2007
Springer
15 years 4 months ago
Location-Based Activity Recognition
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signi...
Dieter Fox
ECAL
2005
Springer
15 years 3 months ago
Morphological Plasticity: Environmentally Driven Morphogenesis
Abstract. This paper focuses on the environmental role in morphogenesis in dynamic morphologies (DM). We discuss the benefits of morphological plasticity (MP) and introduce our En...
Katie Bentley, Chris Clack
ICCBR
2009
Springer
15 years 4 months ago
A Value Supplementation Method for Case Bases with Incomplete Information
Abstract. In this paper we present a method for supplementing incomplete cases with information from other cases within a case base. The acquisition of complete and correct cases i...
Kerstin Bach, Meike Reichle, Klaus-Dieter Althoff