Sciweavers

911 search results - page 142 / 183
» Prolog and Natural-Language Analysis
Sort
View
118
Voted
FM
2009
Springer
155views Formal Methods» more  FM 2009»
15 years 10 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
146
Voted
ICAIL
2009
ACM
15 years 10 months ago
Query-based opinion summarization for legal blog entries
We present the first report of automatic sentiment summarization in the legal domain. This work is based on processing a set of legal questions with a system consisting of a semi...
Jack G. Conrad, Jochen L. Leidner, Frank Schilder,...
109
Voted
CIVR
2007
Springer
103views Image Analysis» more  CIVR 2007»
15 years 10 months ago
The value of stories for speech-based video search
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
Bouke Huurnink, Maarten de Rijke
MODELS
2007
Springer
15 years 10 months ago
UML2Alloy: A Challenging Model Transformation
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
ICDE
2006
IEEE
192views Database» more  ICDE 2006»
15 years 10 months ago
Mining Executive Compensation Data from SEC Filings
In recent years, corporate governance has become a more and more important concern in investment decision-making. As one of the most important factors in evaluating corporate gove...
Chengmin Ding, Ping Chen