838 search results - page 75 / 168 » From Natural Language to Formal Proof Goal |
205
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
160
click to vote
LREC
2010
15 years 7 months ago
2010
The SignSpeak project will be the first step to approach sign language recognition and translation at a scientific level already reached in similar research fields such as automat...
135
click to vote
COLING
2000
15 years 7 months ago
2000
This paper describes algorithms and software developed to characterise and detect generic intelligent language-like features iu an input signal, using Natural Language Learning te...
173
click to vote
TCS
2008
15 years 6 months ago
2008
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...
191
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...