4469 search results - page 697 / 894 » A Language for Role Specifications |
197
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
136
click to vote
CATS
2008
15 years 8 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
153
click to vote
LREC
2010
15 years 8 months ago
2010
This paper proposes to introduce a novel reordering model in the open-source Moses toolkit. The main idea is to provide weighted reordering hypotheses to the SMT decoder. These hy...
154
click to vote
LREC
2010
15 years 8 months ago
2010
This paper describes our resource-building results for an eight-week JHU Human Language Technology Center of Excellence Summer Camp for Applied Language Exploration (SCALE-2009) o...
174
click to vote
LREC
2010
15 years 8 months ago
2010
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...