Sciweavers

4098 search results - page 207 / 820
» Sound mobility models
Sort
View
145
Voted
ICIAP
2007
ACM
16 years 4 months ago
Video Objects Segmentation by Robust Background Modeling
This paper deals with the problem of segmenting a video shot into a background (still) mosaic and one or more foreground moving objects. The method is based on ego-motion compensa...
Andrea Colombari, Andrea Fusiello, Vittorio Murino
ICST
2008
IEEE
15 years 11 months ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
116
Voted
ICASSP
2007
IEEE
15 years 11 months ago
A Novel Adaptive Crosstalk Cancellation using Psychoacoustic Model for 3D Audio
In rendering a virtual sound over two loudspeakers, adaptive inverse filtering is required for crosstalk cancellation. Although various adaptive algorithms have been proposed for...
Jun Jun Seong Kim, Sang-Gyun Kim, Chang D. Yoo
TABLEAUX
2009
Springer
15 years 9 months ago
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
Luis Pinto, Tarmo Uustalu
BPM
2007
Springer
149views Business» more  BPM 2007»
15 years 8 months ago
CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
Haiyang Sun, Jian Yang