Sciweavers

12487 search results - page 2477 / 2498
» Graspable Work Modeling
Sort
View
TCOM
2008
92views more  TCOM 2008»
13 years 8 months ago
Mailbox switch: a scalable two-stage switch architecture for conflict resolution of ordered packets
Abstract-- Traditionally, conflict resolution in an inputbuffered switch is solved by finding a matching between inputs and outputs per time slot. To do this, a switch not only nee...
Cheng-Shang Chang, Duan-Shin Lee, Ying-Ju Shih, Ch...
ASE
2005
137views more  ASE 2005»
13 years 8 months ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund
TCSV
2008
130views more  TCSV 2008»
13 years 8 months ago
Aliasing Reduction via Frequency Roll-Off for Scalable Image/Video Coding
The extracted low resolution video from a motion compensated 3-D subband/wavelet scalable video coder is unnecessarily sharp and sometimes contains significant aliasing, compared ...
Yongjun Wu, John W. Woods
TIP
2008
118views more  TIP 2008»
13 years 8 months ago
Minimum Variance Optimal Rate Allocation for Multiplexed H.264/AVC Bitstreams
Consider the problem of transmitting multiple video streams to fulfill a constant bandwidth constraint. The available bit budget needs to be distributed across the sequences in ord...
Marco Tagliasacchi, Giuseppe Valenzise, Stefano Tu...
IVC
2007
91views more  IVC 2007»
13 years 8 months ago
Evolutionary approach to inverse planning in coplanar radiotherapy
A unified evolutionary approach to coplanar radiotherapy inverse planning is proposed. It consists of a genetic algorithm-based framework that solves with little modification tr...
Vitoantonio Bevilacqua, Giuseppe Mastronardi, Gius...
« Prev « First page 2477 / 2498 Last » Next »