Sciweavers

5128 search results - page 356 / 1026
» Discrete Component Analysis
Sort
View
DAC
2005
ACM
16 years 7 months ago
Operator-based model-order reduction of linear periodically time-varying systems
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
Yayun Wan, Jaijeet S. Roychowdhury
ICFEM
2007
Springer
16 years 1 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
MOBICOM
2006
ACM
16 years 25 days ago
VanetMobiSim: generating realistic mobility patterns for VANETs
In this paper, we present and describe VanetMobiSim, a generator of realistic vehicular movement traces for telecommunication networks simulators. VanetMobiSim mobility descriptio...
Jérôme Härri, Fethi Filali, Chri...
DGCI
2005
Springer
16 years 12 days ago
Shape Preserving Digitization of Binary Images After Blurring
Topology is a fundamental property of shapes in pictures. Since the input for any image analysis algorithm is a digital image, which does not need to have the same topological char...
Peer Stelldinger, Ullrich Köthe
SCIA
2005
Springer
137views Image Analysis» more  SCIA 2005»
16 years 10 days ago
Invariance in Kernel Methods by Haar-Integration Kernels
Abstract. We address the problem of incorporating transformation invariance in kernels for pattern analysis with kernel methods. We introduce a new class of kernels by so called Ha...
Bernard Haasdonk, A. Vossen, Hans Burkhardt