Sciweavers

2894 search results - page 398 / 579
» Latent semantic analysis
Sort
View
APAL
2005
97views more  APAL 2005»
15 years 6 months ago
Polarized and focalized linear and classical proofs
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of ...
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora ...
IPL
2007
78views more  IPL 2007»
15 years 6 months ago
Ensuring the quasi-termination of needed narrowing computations
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
J. Guadalupe Ramos, Josep Silva, Germán Vid...
BALT
2010
15 years 1 months ago
Interoperability Services for Models and Ontologies
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...
Jürgen Ebert, Tobias Walter
SIGKDD
2010
136views more  SIGKDD 2010»
15 years 1 months ago
Tenth international workshop on multimedia data mining
In this report we provide a summary of the tenth Multimedia Data Mining Workshop that was held in conjunction with the 16th ACM SIGKDD International Conference on Knowledge Discov...
Valery A. Petrushin, Jia-Yu Pan, Cees G. M. Snoek
ICMCS
2010
IEEE
231views Multimedia» more  ICMCS 2010»
15 years 3 months ago
Event based news video people classification and ranking using multimodality features
Existing research on news video analysis mainly concentrates on structure analysis, semantic concept detection, annotation and search. However, little work has been contributed to...
Chunxi Liu, Qingming Huang, Shuqiang Jiang, Changs...