Sciweavers

256 search results - page 13 / 52
» Attached Processes
Sort
View
WOTUG
2008
14 years 11 months ago
Mechanical Verification of a Two-Way Sliding Window Protocol
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
Bahareh Badban, Wan Fokkink, Jaco van de Pol
EMNLP
2010
14 years 7 months ago
Unsupervised Induction of Tree Substitution Grammars for Dependency Parsing
Inducing a grammar directly from text is one of the oldest and most challenging tasks in Computational Linguistics. Significant progress has been made for inducing dependency gram...
Phil Blunsom, Trevor Cohn
ISVC
2010
Springer
14 years 8 months ago
Modeling Clinical Tumors to Create Reference Data for Tumor Volume Measurement
Abstract. Expanding on our previously developed method for inserting synthetic objects into clinical computed tomography (CT) data, we model a set of eight clinical tumors that spa...
Adele P. Peskin, Alden Dima
ICIP
2002
IEEE
15 years 11 months ago
Segmentation of non-rigid video objects using long term temporal consistency
This paper presents a new object-based segmentation technique which exploits a large temporal context in order to get coherent and robust segmentation results. The segmentation pr...
Henri Nicolas, Marc Chaumont, Stéphane Pate...
EACL
1993
ACL Anthology
14 years 11 months ago
Towards a proper treatment of coercion phenomena
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
Danièle Godard, Jacques Jayez