Sciweavers

1696 search results - page 208 / 340
» Permuted function matching
Sort
View
135
Voted
LOPSTR
2009
Springer
15 years 9 months ago
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
José Iborra, Naoki Nishida, Germán V...
115
Voted
CISIS
2008
IEEE
15 years 9 months ago
Processing Ontology Alignments with SPARQL
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
Jérôme Euzenat, Axel Polleres, Fran&c...
100
Voted
EMS
2008
IEEE
15 years 9 months ago
Modelling the Relationship between Visual Short-Term Memory Capacity and Recall Ability
Previous cognitive modelling work has suggested that the decline of short-term memory (STM) capacity is the dominant factor of age-related decline on recall ability. We report the...
Richard Ll. Smith, Peter C. R. Lane, Fernand Gobet
115
Voted
GLOBECOM
2008
IEEE
15 years 9 months ago
Robustness Analysis of Source Localization Using Gaussianity Measure
Nowadays, the source localization has been widely applied for wireless sensor networks. The Gaussian mixture model has been adopted for maximum-likelihood (ML) source localization ...
Kun Yan, Hsiao-Chun Wu, S. S. Iyengar
130
Voted
ICPR
2008
IEEE
15 years 9 months ago
Gaze tracking by Binocular Vision and LBP features
In this paper, a new method for eye gaze tracking is proposed under natural head movement. In this method, Local-Binary-Pattern Texture Feature (LBP) is adopted to calculate the e...
Hu-chuan Lu, Chao Wang, Yen-wei Chen