1105 search results - page 151 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
111
Voted
IJVR
2008
15 years 3 months ago
2008
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
112
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
This article is set in the eld of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to upd...
119
Voted
ENTCS
2006
15 years 3 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
116
Voted
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
145
Voted
INTERSPEECH
2010
14 years 10 months ago
2010
We propose a probabilistic factorial sparse coder model for single channel source separation in the magnitude spectrogram domain. The mixture spectrogram is assumed to be the sum ...