911 search results - page 142 / 183 » Prolog and Natural-Language Analysis |
146
click to vote
FM
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
175
click to vote
ICAIL
2009
ACM
16 years 16 days ago
2009
ACM
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...
135
click to vote
CIVR
2007
Springer
16 years 6 days ago
2007
Springer
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...
144
click to vote
MODELS
2007
Springer
16 years 4 days ago
2007
Springer
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...
185
click to vote
ICDE
2006
IEEE
16 years 2 days ago
2006
IEEE
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...