Sciweavers

1256 search results - page 73 / 252
» Tools for Exploring Natural Language
Sort
View
97
Voted
PLDI
1997
ACM
15 years 2 months ago
Incremental Analysis of real Programming Languages
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
Tim A. Wagner, Susan L. Graham
104
Voted
AMTA
1998
Springer
15 years 2 months ago
A Comparative Study of Query and Document Translation for Cross-Language Information Retrieval
Cross-language retrieval systems use queries in one natural language to guide retrieval of documents that might be written in another. Acquisition and representation of translation...
Douglas W. Oard
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
15 years 4 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
ICALT
2003
IEEE
15 years 3 months ago
Online Self-Assessment as a Learning Method
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
Daniel Gayo-Avello, Hortensia Fernández-Cue...
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 2 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy