Sciweavers

4151 search results - page 417 / 831
» Language Driven System Design
Sort
View
165
Voted
COLING
2010
15 years 1 months ago
A Large Scale Ranker-Based System for Search Query Spelling Correction
This paper makes three significant extensions to a noisy channel speller designed for standard written text to target the challenging domain of search queries. First, the noisy ch...
Jianfeng Gao, Xiaolong Li, Daniel Micol, Chris Qui...
177
Voted
POPL
2010
ACM
16 years 3 months ago
Dependent types and program equivalence
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
Jianzhou Zhao, Limin Jia, Stephanie Weirich, Vilhe...
EMSOFT
2009
Springer
16 years 22 days ago
Handling mixed-criticality in SoC-based real-time embedded systems
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Y...
135
Voted
ATAL
2009
Springer
16 years 22 days ago
The DSML4MAS development environment
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
Stefan Warwas, Christian Hahn
159
Voted
COLING
1992
15 years 7 months ago
Knowledge Acquisition And Chinese Parsing Based On Corpus
In Natural Language Processing (NLP), one key problem is how to design a robust and effective parsing system. In this paper, we will introduce a corpm- based Chinese parsing syste...
Chunfa Yuan, Changning Huang, Shimei Pan