Sciweavers

5465 search results - page 10 / 1093
» Assigning Types to Processes
Sort
View
EACL
2009
ACL Anthology
16 years 7 days ago
Unsupervised Methods for Head Assignments
Federico Sangati, Willem Zuidema
ICASSP
2009
IEEE
14 years 9 months ago
Automatic voice assignment tool for Instant Casting movie System
Yoshihiro Adachi, Shinichi Kawamoto, Tatsuo Yotsuk...
85
Voted
CCCG
2010
15 years 1 months ago
Direction assignment in wireless networks
In this paper we consider a wireless network, where each transceiver is equipped with a directional antenna, and study two direction assignment problems, determined by the type of...
Boaz Ben-Moshe, Paz Carmi, Lilach Chaitman, Matthe...
113
Voted
LPAR
2010
Springer
14 years 9 months ago
Logic and Computation in a Lambda Calculus with Intersection and Union Types
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
Daniel J. Dougherty, Luigi Liquori
ICIP
2004
IEEE
16 years 1 months ago
Theoretical analysis on optimum word length assignment for integer dct
Masahiro Iwahashi, Kohtaro Nakagawa, Somchart Chok...