Sciweavers

911 search results - page 110 / 183
» Prolog and Natural-Language Analysis
Sort
View
147
Voted
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 10 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
139
Voted
CRV
2005
IEEE
198views Robotics» more  CRV 2005»
15 years 9 months ago
Analysis of Player Actions in Selected Hockey Game Situations
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
Fahong Li, Robert J. Woodham
147
Voted
MICCAI
2010
Springer
15 years 2 months ago
Brain Morphometry by Probabilistic Latent Semantic Analysis
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
Umberto Castellani, Alessandro Perina, Vittorio Mu...
158
Voted
SOCIALCOM
2010
15 years 1 months ago
Using Text Analysis to Understand the Structure and Dynamics of the World Wide Web as a Multi-Relational Graph
A representation of the World Wide Web as a directed graph, with vertices representing web pages and edges representing hypertext links, underpins the algorithms used by web search...
Harish Sethu, Alexander Yates
148
Voted
WWW
2004
ACM
16 years 4 months ago
An xpath-based discourse analysis module for spoken dialogue systems
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...
Giuseppe Di Fabbrizio, Charles Lewis