Sciweavers

14360 search results - page 396 / 2872
» Time Modeling in MARTE
Sort
View
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
15 years 9 months ago
Conflict-free routing of AGVs on the mesh topology based on a discrete-time model
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...
Jianyang Zeng, Wen-Jing Hsu
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 4 months ago
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
Patrick Baillot, Marco Pedicini
ICASSP
2011
IEEE
14 years 8 months ago
Audio identification based on spectral modeling of bark-bands energy and synchronization through onset detection
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
Mathieu Ramona, Geoffroy Peeters
BMCBI
2007
169views more  BMCBI 2007»
15 years 4 months ago
Transcriptional regulatory network refinement and quantification through kinetic modeling, gene expression microarray data and i
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
Abdallah Sayyed-Ahmad, Kagan Tuncay, Peter J. Orto...
RTAS
2009
IEEE
15 years 11 months ago
Modeling and Analysis of Multi-hop Control Networks
Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johan...