Sciweavers

183 search results - page 34 / 37
» Machine Translation Based on NLG from XML-DB
Sort
View
PLDI
2010
ACM
14 years 17 days ago
Supporting speculative parallelization in the presence of dynamic data structures
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
Chen Tian, Min Feng, Rajiv Gupta
APPT
2009
Springer
14 years 2 months ago
Evaluating SPLASH-2 Applications Using MapReduce
MapReduce has been prevalent for running data-parallel applications. By hiding other non-functionality parts such as parallelism, fault tolerance and load balance from programmers,...
Shengkai Zhu, Zhiwei Xiao, Haibo Chen, Rong Chen, ...
ACL
2001
13 years 9 months ago
Mapping Lexical Entries in a Verbs Database to WordNet Senses
This paper describes automatic techniques for mapping 9611 entries in a database of English verbs to WordNet senses. The verbs were initially grouped into 491 classes based on syn...
Rebecca Green, Lisa Pearl, Bonnie J. Dorr, Philip ...
CRV
2005
IEEE
166views Robotics» more  CRV 2005»
14 years 1 months ago
Face as Mouse Through Visual Face Tracking
This paper introduces a novel camera mouse driven by 3D model based visual face tracking. While camera becomes standard configuration for personal computer(PC) and computer speed...
Jilin Tu, Thomas S. Huang, Hai Tao
LICS
2002
IEEE
14 years 12 days ago
A Syntactic Approach to Foundational Proof-Carrying Code
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, S...