Sciweavers

2631 search results - page 373 / 527
» A Practical Method for the Sparse Resultant
Sort
View
TIP
2010
123views more  TIP 2010»
15 years 2 months ago
Optimizing Motion Compensated Prediction for Error Resilient Video Coding
—This paper is concerned with optimization of the motion compensated prediction framework to improve the error resilience of video coding for transmission over lossy networks. Fi...
Hua Yang, Kenneth Rose
TMI
2010
133views more  TMI 2010»
15 years 2 months ago
Synthetic Magnetic Resonance Imaging Revisited
—Synthetic magnetic resonance (MR) imaging is an approach suggested in the literature to predict MR images at different design parameter settings from at least three observed MR ...
Ranjan Maitra, John J. Riddles
SIGSOFT
2010
ACM
15 years 2 months ago
Golden implementation driven software debugging
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
Ansuman Banerjee, Abhik Roychoudhury, Johannes A. ...
APSEC
2009
IEEE
15 years 2 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
139
Voted
EMNLP
2009
15 years 2 months ago
Synchronous Tree Adjoining Machine Translation
Tree Adjoining Grammars have well-known advantages, but are typically considered too difficult for practical systems. We demonstrate that, when done right, adjoining improves tran...
Steve DeNeefe, Kevin Knight