Sciweavers

8154 search results - page 1388 / 1631
» Understanding changes in use cases: A case study
Sort
View
CONCUR
2004
Springer
16 years 1 days ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
DAWAK
2004
Springer
16 years 1 days ago
Multidimensional Data Visual Exploration by Interactive Information Segments
Visualization techniques provide an outstanding role in KDD process for data analysis and mining. However, one image does not always convey successfully the inherent information fr...
Francisco J. Ferrer-Troyano, Jesús S. Aguil...
ICA
2004
Springer
16 years 16 hour ago
Spatio-chromatic ICA of a Mosaiced Color Image
We analyze whether Independant Component Analysis (ICA) is an appropriate tool for estimating spatial information in spatio-chromatic mosaiced color images. In previous studies, IC...
David Alleysson, Sabine Süsstrunk
ICCS
2004
Springer
16 years 13 hour ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
ICFEM
2004
Springer
16 years 12 hour ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
« Prev « First page 1388 / 1631 Last » Next »