7557 search results - page 686 / 1512 » Modeling Timed Concurrent Systems |
161
click to vote
BC
2006
15 years 7 months ago
2006
During locomotion sensory information from cutaneous and muscle receptors is continuously integrated with the locomotor central pattern generator (CPG) to generate an appropriate m...
239
click to vote
ENTCS
2007
15 years 7 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
187
click to vote
TWC
2008
15 years 7 months ago
2008
3GPP 43.318 specifies the Generic Access Network (GAN) for interworking between Wireless Local Area Network (WLAN) and Universal Mobile Telecommunications System (UMTS) core netwo...
234
click to vote
ICIC
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
177
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
A dynamic model of a multiagent system defines a probability distribution over possible system behaviors over time. Alternative representations for such models present tradeoffs i...