87 search results - page 12 / 18 » Automatically finding the control variables for complex syst... |
129
Voted
ICMLA
2009
15 years 14 days ago
2009
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
118
Voted
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
149
Voted
SIGMETRICS
2003
ACM
15 years 8 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
123
Voted
TCS
2008
15 years 2 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
117
Voted
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...