Sciweavers

2098 search results - page 197 / 420
» Syntactic Topic Models
Sort
View
102
Voted
TREC
2003
15 years 3 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
117
Voted
MST
2006
81views more  MST 2006»
15 years 2 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 ...
111
Voted
SIGSOFT
2005
ACM
16 years 2 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
140
Voted
ER
2009
Springer
316views Database» more  ER 2009»
15 years 6 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....
114
Voted
EDM
2010
148views Data Mining» more  EDM 2010»
15 years 3 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