Sciweavers

644 search results - page 10 / 129
» Translation the Wiki way
Sort
View
IPL
2008
102views more  IPL 2008»
13 years 7 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
ICDE
2010
IEEE
273views Database» more  ICDE 2010»
14 years 7 months ago
WikiAnalytics: Ad-hoc Querying of Highly Heterogeneous Structured Data
Searching and extracting meaningful information out of highly heterogeneous datasets is a hot topic that received a lot of attention. However, the existing solutions are based on e...
Andrey Balmin, Emiran Curtmola
RE
2004
Springer
14 years 1 months ago
RETNA: From Requirements to Testing in a Natural Way
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay,...
SOFSEM
2010
Springer
14 years 4 months ago
A Social Vision of Knowledge Representation and Reasoning
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
François Bry, Jakub Kotowski
LREC
2008
86views Education» more  LREC 2008»
13 years 9 months ago
Constructing a Corpus that Indicates Patterns of Modification between Draft and Final Translations by Human Translators
In human translation, translators first make draft translations and then modify and edit them. In the case of experienced translators, this process involves the use of wide-rangin...
Takeshi Abekawa, Kyo Kageura