Sciweavers

8337 search results - page 412 / 1668
» Reasoning With Characteristic Models
Sort
View
184
Voted
ICIP
2002
IEEE
15 years 11 months ago
Sequence-based rate control for constant quality video
Most model based rate control solutions have the generally questionable assumption that video sequence is stationary, and also suffer from the fundamental problems of model parame...
Bo Xie, Wenjun Zeng
199
Voted
ICFEM
1998
Springer
15 years 11 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
BMVC
2001
15 years 9 months ago
Learning Pixel-Wise Signal Energy for Understanding Semantics
Visual interpretation of events requires both an appropriate representation of change occurring in the scene and the application of semantics for differentiating between different...
Jeffrey Ng, Shaogang Gong
ISOLA
2010
Springer
15 years 5 months ago
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
Anders P. Ravn, Jirí Srba, Saleem Vighio
ICC
2007
IEEE
288views Communications» more  ICC 2007»
16 years 1 months ago
Joint Channel State Based Random Access and Adaptive Modulation in Wireless LAN with Multi-Packet Reception
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
Wei Lan Huang, Khaled Ben Letaief, Ying Jun Zhang