1445 search results - page 182 / 289 » Properties of state spaces and their applications |
191
click to vote
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....
158
click to vote
CDC
2008
IEEE
16 years 26 days 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ļ¬...
146
click to vote
ACSD
2005
IEEE
16 years 8 hour 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...
158
click to vote
DEXAW
2005
IEEE
16 years 28 min 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...
159
click to vote
ATAL
2005
Springer
15 years 12 months 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...