838 search results - page 95 / 168 » From Natural Language to Formal Proof Goal |
205
click to vote
ECMDAFA
2009
Springer
16 years 23 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
154
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
136
click to vote
CICLING
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a machine learning approach to the study of translationese. The goal is to train a computer system to distinguish between translated and non-translated text, in...
147
click to vote
APIN
2006
15 years 6 months ago
2006
Abstract In this paper we present a real automatic meteorological information system that, not only provides friendly voice access to real-time data coming from automatic sensors, ...
135
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we compare the usability of several presentation formats for ontological knowledge of events. The goal is to support further work in knowledge acquisition from infor...