搜索结果: 1-15 共查到“知识库 计算机科学技术 language”相关记录56条 . 查询时间(0.258 秒)
PARAMETRIC REPRESENTATION OF THE SPEAKER’S LIPS FOR MULTIMODAL SIGN LANGUAGE AND SPEECH RECOGNITION
Sign language Gestures Speech recognition Computer Vision Principal Component Analysis Machine learning Face detection Linear contrasting
2017/5/15
In this article, we propose a new method for parametric representation of human’s lips region. The functional diagram of the method is described and implementation details with the explanation of its ...
FL is the result of an eort to design a practical functional programming language based on Backus FP This paper provides an introduction to and critique of the FL language The language eort is analy...
Static Type Inference in a Dynamically Typed Language
Static Type Inference Dynamically Typed Language
2016/5/25
We present a type inference system for FL based on an operational, rather than a denotational, formulation of types. The essential elements of the system are a type language based on regular trees and...
Region-based memory management systems structure memory by grouping objects in regions under program control.Memory is reclaimed by deleting regions, freeing all objects stored therein. Our compiler f...
A Query Language for Understanding Component Interactions in Production Systems
Query language logs influence correlation production systems
2016/5/24
When something unexpected happens in a large production system,administrators must first perform a search to isolate which components and component interactions are likely to be involved. The system m...
Liszt: A Domain Specific Language for Building Portable Mesh-based PDE Solvers
compiler analysis and program transformations, programming and runtime environments for high performance and high throughput computing
2016/5/24
Heterogeneous computers with processors and accelerators are becoming widespread in scientific computing. However,it is difficult to program hybrid architectures and there is no commonly accepted prog...
High-performance computing applications, such as auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance and portability. However, these system...
Language Support for Dynamic, Hierarchical Data Partitioning
Legion regions type system independence aliasing hierarchical scheduling
2016/5/24
Applications written for distributed-memory parallel architectures must partition their data to enable parallel execution.As memory hierarchies become deeper, it is increasingly necessary that the dat...
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
Regent: A High-Productivity Programming Language for HPC with Logical Regions
Regent Legion logical regions task-based runtimes
2016/5/24
We present Regent, a high-productivity programming language for high performance computing with logical regions. Regent users compose programs with tasks (functions eligible for parallel execution) an...
Lexvo.org: Language-Related Information for the Linguistic Linked Data Cloud
languages lexical information
2016/1/22
Lexvo.org brings information about languages, words, and other linguistic entities to the Web of Linked Data. It defines URIs for terms, languages, scripts, and characters, which are not only highly i...
Learning Representations for Weakly Supervised Natural Language Processing Tasks
Natural Language word
2015/9/14
Finding the right representations for words is critical for building accurate NLP systems when
domain-specific labeled data for the task is scarce. This article investigates novel techniques fo...
A System and Language for Building System-Specific,Static Analyses
Extensible compilation error detection
2015/8/7
This paper presents a novel approach to bug-finding analysis and an implementation of that approach. Our goal is to find as many serious bugs as possible. To do so, we designed a flexible, easy-to-use...
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
Exploring the N-th Dimension of Language
Hidden fundamental variable natural language context-free computational property N-th dimension of language
2015/7/15
This paper is aimed at exploring the hidden fundamental computational property of natural language that has been so elusive that it has made all attempts to characterize its real computational propert...