1188 search results - page 180 / 238 » Modeling synchronized time series |
108
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
105
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
102
click to vote
AIPS
2008
15 years 3 months ago
2008
We consider the problem of cooperative multiagent planning under uncertainty, formalized as a decentralized partially observable Markov decision process (Dec-POMDP). Unfortunately...
102
Voted
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...
134
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...