Sciweavers

1604 search results - page 135 / 321
» Development Separation in Lambda-Calculus
Sort
View
ECCV
2010
Springer
14 years 24 days ago
Optimum Subspace Learning and Error Correction for Tensors
Confronted with the high-dimensional tensor-like visual data, we derive a method for the decomposition of an observed tensor into a low-dimensional structure plus unbounded but spa...
AIIDE
2008
14 years 21 days ago
Constructing Complex NPC Behavior via Multi-Objective Neuroevolution
It is difficult to discover effective behavior for NPCs automatically. For instance, evolutionary methods can learn sophisticated behaviors based on a single objective, but realis...
Jacob Schrum, Risto Miikkulainen
DLOG
2007
14 years 21 days ago
Partitioning ABoxes Based on Converting DL to Plain Datalog
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
Jianfeng Du, Yi-Dong Shen
FLAIRS
2007
14 years 21 days ago
A Linguistically-Based Segmentation of Complex Sentences
The paper describes a method of dividing complex sentences into segments, easily detectable and linguistically motivated units, which may provide a basis for further processing of...
Vladislav Kubon, Markéta Lopatková, ...
FLAIRS
2008
14 years 21 days ago
Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
Neli P. Zlatareva, Maria Nisheva