8555 search results - page 1459 / 1711 » Property Based Coordination |
195
Voted
IJCAI
2003
15 years 8 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
197
click to vote
WAE
2001
15 years 8 months ago
2001
We present a new technique to encode a deterministic nite automaton (DFA). Based on the speci c properties of Glushkov's nondeterministic nite automaton (NFA) construction alg...
166
click to vote
VISSYM
2004
15 years 8 months ago
2004
Tensor field visualization is a challenging task due in part to the multi-variate nature of individual tensor samples. Glyphs convey tensor variables by mapping the tensor eigenve...
192
click to vote
WICSA
2004
15 years 8 months ago
2004
Industrial systems are examples of complex and often long-lived systems in which software is playing an increasingly important role. Their architectures play a crucial role in mai...
171
click to vote
WSC
2004
15 years 8 months ago
2004
One feature of many naturally occurring or engineered complex systems is tremendous variability in event sizes. To account for it, the behavior of these systems is often described...