Sciweavers

2132 search results - page 260 / 427
» The Challenges of Automatic Summarization
Sort
View
FORMATS
2010
Springer
13 years 7 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
ICIP
2010
IEEE
13 years 7 months ago
Towards computational models of kinship verification
We tackle the challenge of kinship verification using novel feature extraction and selection methods, automatically classifying pairs of face images as "related" or &quo...
Ruogu Fang, Kevin D. Tang, Noah Snavely, Tsuhan Ch...
ICTAI
2010
IEEE
13 years 7 months ago
Ontology-guided Extraction of Complex Nested Relationships
Many applications call for methods to enable automatic extraction of structured information from unstructured natural language text. Due to inherent challenges of natural language ...
Sushain Pandit, Vasant Honavar
ISVC
2010
Springer
13 years 7 months ago
Efficient Marker Matching Using Pair-Wise Constraints in Physical Therapy
In this paper, we report a robust, efficient, and automatic method for matching infrared tracked markers for human motion analysis in computer-aided physical therapy applications. ...
Gregory Johnson, Nianhua Xie, Jill Slaboda, Y. Jus...
NAACL
2010
13 years 7 months ago
Good Question! Statistical Ranking for Question Generation
We address the challenge of automatically generating questions from reading materials for educational practice and assessment. Our approach is to overgenerate questions, then rank...
Michael Heilman, Noah A. Smith