Sciweavers

2670 search results - page 206 / 534
» Modeling systems with internal state using evolino
Sort
View
CORR
2010
Springer
159views Education» more  CORR 2010»
15 years 6 months ago
Survey of trust models in different network domains
This paper introduces the security and trust concepts in wireless sensor networks and explains the difference between them, stating that even though both terms are used interchang...
Mohammad Momani, Subhash Challa
JCPHY
2011
133views more  JCPHY 2011»
14 years 9 months ago
A Riemann solver for single-phase and two-phase shallow flow models based on relaxation. Relations with Roe and VFRoe solvers
We present a Riemann solver derived by a relaxation technique for classical single-phase shallow flow equations and for a two-phase shallow flow model describing a mixture of so...
Marica Pelanti, François Bouchut, Anne Mang...
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
16 years 22 days ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
ICIP
1999
IEEE
16 years 8 months ago
Realistic 3-D Scene Modeling from Uncalibrated Image Sequences
This contribution addresses the problem of obtaining photorealistic 3D models of a scene from images alone with a structure-from-motion approach. The 3D scene is observed from mul...
Reinhard Koch, Marc Pollefeys, Luc J. Van Gool
IEICET
2006
114views more  IEICET 2006»
15 years 6 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...