Sciweavers

475 search results - page 28 / 95
» A Framework for Expressing and Combining Preferences
Sort
View
NDQA
2003
103views Education» more  NDQA 2003»
13 years 10 months ago
Combining Low-Level and Summary Representations of Opinions for Multi-Perspective Question Answering
1 While much recent progress has been made in research on fact-based question answering, our work aims to extend question-answering research in a different direction ─ to handle ...
Claire Cardie, Janyce Wiebe, Theresa Wilson, Diane...
KDD
2009
ACM
262views Data Mining» more  KDD 2009»
14 years 9 months ago
Sentiment analysis of blogs by combining lexical knowledge with text classification
The explosion of user-generated content on the Web has led to new opportunities and significant challenges for companies, that are increasingly concerned about monitoring the disc...
Prem Melville, Wojciech Gryc, Richard D. Lawrence
CAV
2009
Springer
155views Hardware» more  CAV 2009»
14 years 9 months ago
Better Quality in Synthesis through Quantitative Objectives
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
Roderick Bloem, Krishnendu Chatterjee, Thomas A. H...
FOSSACS
2000
Springer
14 years 12 days ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
ESA
2007
Springer
143views Algorithms» more  ESA 2007»
14 years 3 months ago
Two's Company, Three's a Crowd: Stable Family and Threesome Roommates Problems
We investigate Knuth’s eleventh open question on stable matchings. In the stable family problem, sets of women, men, and dogs are given, all of whom state their preferences among...
Chien-Chung Huang