Sciweavers

780 search results - page 129 / 156
» Correctness of Component-Based Adaptation
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
13 years 9 months ago
Improving the Context-sensitive Dependency Graph
The dependency pairs method is one of the most powerful technique for proving termination of rewriting and it is currently central in most automatic termination provers. Recently,...
Beatriz Alarcón, Raúl Gutiérr...
IJSYSC
2007
170views more  IJSYSC 2007»
13 years 9 months ago
Nonlinear attitude and gyroscope's bias estimation for a VTOL UAV
: This paper addresses the problem of attitude and heading restitution for a VTOL UAV. We describe an observation strategy to restitute the complete attitude matrix of the vehicle ...
Jean Michel Pflimlin, Tarek Hamel, Philippe Sou&eg...
TCSV
2008
145views more  TCSV 2008»
13 years 9 months ago
Robust Streaming of Offline Coded H.264/AVC Video Via Alternative Macroblock Coding
Abstract--An error resilient video streaming scheme that transmits offline coded H.264/AVC video through erroneous channels, called the alternative macroblock coding (AMC) scheme, ...
Xiaosong Zhou, C. C. Jay Kuo
TIFS
2008
142views more  TIFS 2008»
13 years 9 months ago
An FPGA-Based Network Intrusion Detection Architecture
Abstract--Network intrusion detection systems (NIDSs) monitor network traffic for suspicious activity and alert the system or network administrator. With the onset of gigabit netwo...
Abhishek Das, David Nguyen, Joseph Zambreno, Gokha...
IVC
2007
188views more  IVC 2007»
13 years 9 months ago
Integration of deformable contours and a multiple hypotheses Fisher color model for robust tracking in varying illuminant enviro
In this paper, we propose a new technique to perform figure-ground segmentation in image sequences of moving objects under varying illumination conditions. Unlike most of the alg...
Francesc Moreno-Noguer, Alberto Sanfeliu, Dimitris...