Sciweavers

1216 search results - page 11 / 244
» Translation analysis and translation automation
Sort
View
CIKM
2010
Springer
13 years 6 months ago
Clickthrough-based translation models for web search: from word models to phrase models
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...
Jianfeng Gao, Xiaodong He, Jian-Yun Nie
SAINT
2006
IEEE
14 years 1 months ago
A translation method between 802.15.4 nodes and IPv6 nodes
There are many kinds of control networks based on non-IP, such as BA (Building Automation), FA (Factory Automation) and PA (Process Automation). The IPv6 and wireless technologies...
Shoichi Sakane, Yosuke Ishii, Katsuhiko Toba, Keni...
ISSTA
2010
ACM
13 years 9 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
DI
2007
81views more  DI 2007»
13 years 7 months ago
Using every part of the buffalo in Windows memory analysis
All Windows memory analysis techniques depend on the examiner’s ability to translate the virtual addresses used by programs and operating system components into the true locatio...
Jesse D. Kornblum
ICCBR
2010
Springer
13 years 6 months ago
Applying Machine Translation Evaluation Techniques to Textual CBR
The need for automated text evaluation is common to several AI disciplines. In this work, we explore the use of Machine Translation (MT) evaluation metrics for Textual Case Based R...
Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...