1445 search results - page 57 / 289 » Properties of state spaces and their applications |
182
click to vote
ASE
2004
15 years 6 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
221
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
168
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
192
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Toric spaces being non-simply connected, it is possible to find in such spaces some loops which are not homotopic to a point: we call them toric loops. Some applications, such as t...
180
click to vote
PRL
2008
15 years 6 months ago
2008
A cylindrical coordinate colour space (lightness, saturation/chroma, hue) is derived from an opponent colour space in the RGB space. It is shown how cylindrical coordinate colour ...