Sciweavers

2098 search results - page 197 / 420
» Syntactic Topic Models
Sort
View
TREC
2003
13 years 11 months ago
HARD Experiment at Maryland: From Need Negotiation to Automated HARD Process
Our aim of participating in this year’s High Accuracy Retrieval from Documents (HARD) track is to explore the possibility of developing an automated HARD retrieval model by leve...
Daqing He, Dina Demner-Fushman
MST
2006
81views more  MST 2006»
13 years 10 months ago
Local Limit Properties for Pattern Statistics and Rational Models
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
Alberto Bertoni, Christian Choffrut, Massimiliano ...
SIGSOFT
2005
ACM
14 years 11 months ago
Relational analysis of algebraic datatypes
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
Viktor Kuncak, Daniel Jackson
ER
2009
Springer
316views Database» more  ER 2009»
14 years 2 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
EDM
2010
148views Data Mining» more  EDM 2010»
13 years 11 months ago
Sentiment Analysis in Student Experiences of Learning
In this paper we present an evaluation of new techniques for automatically detecting sentiment polarity (Positive or Negative) in the students responses to Unit of Study Evaluation...
Sunghwan Mac Kim, Rafael A. Calvo