Sciweavers

2291 search results - page 166 / 459
» Representational Reasoning and Verification
Sort
View
SDM
2012
SIAM
208views Data Mining» more  SDM 2012»
13 years 9 months ago
Mining Massive Archives of Mice Sounds with Symbolized Representations
Many animals produce long sequences of vocalizations best described as “songs.” In some animals, such as crickets and frogs, these songs are relatively simple and repetitive c...
Jesin Zakaria, Sarah Rotschafer, Abdullah Mueen, K...
VL
2007
IEEE
116views Visual Languages» more  VL 2007»
16 years 24 days ago
A Sequent Based Logic for Coincidence Grids
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
Dave Barker-Plummer, Nik Swoboda
ICB
2009
Springer
226views Biometrics» more  ICB 2009»
16 years 1 months ago
Accurate Palmprint Recognition Using Spatial Bags of Local Layered Descriptors
Abstract. State-of-the-art palmprint recognition algorithms achieve high accuracy based on component based texture analysis. However, they are still sensitive to local variations o...
Yufei Han, Tieniu Tan, Zhenan Sun
PR
2008
146views more  PR 2008»
15 years 6 months ago
Integration of local and global geometrical cues for 3D face recognition
We present a unified feature representation of 2.5D pointclouds and apply it to face recognition. The representation integrates local and global geometrical cues in a single compa...
Faisal R. Al-Osaimi, Mohammed Bennamoun, Ajmal S. ...
DLOG
2003
15 years 8 months ago
Relationships with other Formalisms
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
Ulrike Sattler, Diego Calvanese, Ralf Molitor