Sciweavers

415 search results - page 53 / 83
» Data Translation Between Taxonomies
Sort
View
CIE
2007
Springer
14 years 1 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
COMPSAC
2006
IEEE
14 years 1 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
ICITA
2005
IEEE
14 years 1 months ago
Searching the Web: From Keywords to Semantic Queries
Within the emergent Semantic Web framework, the use of traditional web search engines based on keywords provided by the users is not adequate anymore. Instead, new methods based o...
José A. Royo, Eduardo Mena, Jorge Bernad, A...
GW
2005
Springer
189views Biometrics» more  GW 2005»
14 years 28 days ago
Automatic Generation of German Sign Language Glosses from German Words
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
Jan Bungeroth, Hermann Ney
AMTA
2004
Springer
14 years 25 days ago
Multi-align: Combining Linguistic and Statistical Techniques to Improve Alignments for Adaptable MT
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
Necip Fazil Ayan, Bonnie J. Dorr, Nizar Habash