Sciweavers

126 search results - page 10 / 26
» A Framework to Decompose GSPN Models
Sort
View
GLOBECOM
2006
IEEE
14 years 1 months ago
Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach
— This paper proposes a distributed optimization framework for wireless multihop sensor networks base on a game theoretic approach. We show that the cross-layer optimization prob...
Jun Yuan, Wei Yu
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
13 years 11 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...
AUTOMATICA
2002
93views more  AUTOMATICA 2002»
13 years 7 months ago
Hybrid state estimation: a target tracking application
In this paper we present a framework in which the general hybrid filtering or state estimation problem can be formulated. The problem of joint tracking and classification can be f...
Yvo Boers, Hans Driessen
LCTRTS
2010
Springer
14 years 2 months ago
Modeling structured event streams in system level performance analysis
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai ...
ICPR
2010
IEEE
13 years 9 months ago
A Relationship between Generalization Error and Training Samples in Kernel Regressors
A relationship between generalization error and training samples in kernel regressors is discussed in this paper. The generalization error can be decomposed into two components. On...
Akira Tanaka, Hideyuki Imai, Mineichi Kudo, Masaak...