1445 search results - page 182 / 289 » Properties of state spaces and their applications |
203
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a new objective function for superpixel segmentation. This objective function consists of two components: entropy rate of a random walk on a graph and a balancing term....
175
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
ā Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciļ¬...
165
Voted
ACSD
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
181
Voted
DEXAW
2005
IEEE
16 years 20 days ago
2005
IEEE
As Grids try to achieve optimal and balanced utilization of unused resources in a distributed system, fast and efļ¬cient discovery of resource states is a key requirement. For sm...
179
Voted
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
We present an approach to the veriļ¬cation of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...