1027 search results - page 94 / 206 » Ordered Vertex Partitioning |
DMTCS
2007
13 years 10 months ago
2007
In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this g...
ICDE
2001
IEEE
14 years 11 months ago
2001
IEEE
Many applications require that large amounts of data are deleted from the database ? typically, such bulk deletes are carried out periodically and involve old or out-of-date data....
KDD
2007
ACM
14 years 10 months ago
2007
ACM
Abstract. Model selection is an important problem in statistics, machine learning, and data mining. In this paper, we investigate the problem of enabling multiple parties to perfor...
HYBRID
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
NCA
2008
IEEE
14 years 4 months ago
2008
IEEE
In environments like the Internet, faults follow unusual patterns, dictated by the combination of malicious attacks with accidental faults such as long communication delays caused...