Sciweavers

1027 search results - page 66 / 206
» Progress on the Progressive Party Problem
Sort
View
ICIP
2009
IEEE
15 years 11 months ago
3d Medical Image Compression Based On Multiplierless Low-complexity Rklt And Shape-adaptive Wavelet Transform
A multiplier-less low complexity reversible integer Karhunen-Lo?ve transform (Low-RKLT) is proposed based on multi-lifting. Conventional methods based on KLT suffer from high comp...
ESOP
2009
Springer
15 years 4 months ago
Conversation Types
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
Luís Caires, Hugo Torres Vieira
SADFE
2009
IEEE
15 years 4 months ago
File Fragment Classification-The Case for Specialized Approaches
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...
Vassil Roussev, Simson L. Garfinkel
ISCAS
2008
IEEE
124views Hardware» more  ISCAS 2008»
15 years 4 months ago
Musical beat tracking via Kalman filtering and noisy measurements selection
— We study the problem of automatic musical beat tracking from acoustic data, i.e., finding locations of beats of a music piece by computers on-the-fly, in this work. An online...
Yu Shiu, C. C. Jay Kuo
NCA
2008
IEEE
15 years 4 months ago
Finite Memory: A Vulnerability of Intrusion-Tolerant Systems
In environments like the Internet, faults follow unusual patterns, dictated by the combination of malicious attacks with accidental faults such as long communication delays caused...
Giuliana Santos Veronese, Miguel Correia, Lau Cheu...