Sciweavers

4139 search results - page 195 / 828
» Designing and Implementing Combinator Languages
Sort
View
LKR
2008
15 years 1 months ago
Design and Prototype of a Large-Scale and Fully Sense-Tagged Corpus
Sense tagged corpus plays a very crucial role to Natural Language Processing, especially on the research of word sense disambiguation and natural language understanding. Having a l...
Sue-jin Ker, Chu-Ren Huang, Jia-Fei Hong, Shi-Yin ...
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
16 years 28 days ago
Automatic Result Verification for the Functional Testing of a Query Language
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
Carsten Binnig, Donald Kossmann, Eric Lo, Angel Sa...
CADE
2004
Springer
15 years 12 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
ICS
2004
Tsinghua U.
15 years 5 months ago
Evaluating support for global address space languages on the Cray X1
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...
Christian Bell, Wei-Yu Chen, Dan Bonachea, Katheri...
RULEML
2009
Springer
15 years 6 months ago
Process Materialization Using Templates and Rules to Design Flexible Process Models
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
Akhil Kumar, Wen Yao