5630 search results - page 336 / 1126 » Computability in Specification |
188
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
Today there exist a growing number of framenet-like resources offering semantic and syntactic phrase specifications that can be exploited by natural language generation systems. I...
173
click to vote
DM
2010
15 years 4 months ago
2010
Suppose is a dual polar space of rank n and H is a hyperplane of . Cardinali, De Bruyn and Pasini have already shown that if n 4 and the line size is greater than or equal to fo...
178
Voted
IJPRAI
2010
15 years 4 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
214
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
193
click to vote
TCIAIG
2010
15 years 1 months ago
2010
Procedural terrain generation is used to create landforms for applications such as computer games and flight simulators. While most of the existing work has concentrated on algori...