127
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
134
click to vote
FINTAL
2006
15 years 7 months ago
2006
When building rule-based machine translation systems, a considerable human effort is needed to code the transfer rules that are able to translate source-language sentences into gra...
145
click to vote
FINTAL
2006
15 years 7 months ago
2006
Question Answering (QA) aims at providing users with short text units that answer specific, well-formed natural language questions. A two stage architecture is widely adopted for t...
119
Voted
FINTAL
2006
15 years 7 months ago
2006
Spoken language identification consists in recognizing a language based on a sample of speech from an unknown speaker. The traditional approach for this task mainly considers the p...