Sciweavers

2894 search results - page 544 / 579
» Latent semantic analysis
Sort
View
SYNTHESE
2011
77views more  SYNTHESE 2011»
13 years 3 months ago
E. W. Beth as a philosopher of physics
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...
Dennis Dieks
TASLP
2010
117views more  TASLP 2010»
13 years 3 months ago
The CALO Meeting Assistant System
Abstract-The CALO Meeting Assistant (MA) provides for distributed meeting capture, annotation, automatic transcription and semantic analysis of multiparty meetings, and is part of ...
Gökhan Tür, Andreas Stolcke, L. Voss, St...
ICASSP
2011
IEEE
13 years 12 days ago
Automatic music tagging via PARAFAC2
Automatic music tagging is addressed by resorting to auditory temporal modulations and Parallel Factor Analysis 2 (PARAFAC2). The starting point is to represent each music recordi...
Yannis Panagakis, Constantine Kotropoulos
ICDE
2011
IEEE
215views Database» more  ICDE 2011»
13 years 12 days ago
Top-k keyword search over probabilistic XML data
—Despite the proliferation of work on XML keyword query, it remains open to support keyword query over probabilistic XML data. Compared with traditional keyword search, it is far...
Jianxin Li, Chengfei Liu, Rui Zhou, Wei Wang
CAV
2011
Springer
202views Hardware» more  CAV 2011»
13 years 8 days ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...