11484 search results - page 392 / 2297 » Modeling in the Large and Modeling in the Small |
140
click to vote
SPAA
1990
ACM
15 years 11 months ago
1990
ACM
d Abstract) Richard J. Anderson Paul Beame Walter L. Ruzzo Department of Computer Science and Engineering University of Washingtoni We introduce a task scheduling model which is u...
172
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
222
Voted
CISS
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
206
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Modeling the evolution of topics with time is of great value in automatic summarization and analysis of large document collections. In this work, we propose a new probabilistic gr...
238
click to vote
GCB
2007
Springer
16 years 1 months ago
2007
Springer
: There are several models for the evolutionary process forming a species tree. We examine the Birth-and-Death model (BDM), the Proportional-to-Distinguishable Arrangements (PDA) m...