Sciweavers

387 search results - page 48 / 78
» Using Formal Concept Analysis to Establish Model Dependencie...
Sort
View
AUSDM
2008
Springer
227views Data Mining» more  AUSDM 2008»
13 years 9 months ago
Exploratory Mining over Organisational Communications Data
Exploratory data mining is fundamental to fostering an appreciation of complex datasets. For large and continuously growing datasets, such as obtained by regular sampling of an or...
Alan Allwright, John F. Roddick
DSVIS
2001
Springer
14 years 9 days ago
Task Modelling for Context-Sensitive User Interfaces
Abstract. With the explosion of devices, computing platforms, contextual conditions, user interfaces become more confronted to a need to be adapted to multiple configurations of t...
Costin Pribeanu, Quentin Limbourg, Jean Vanderdonc...
FOCI
2007
IEEE
14 years 2 months ago
Waiting time analysis of foreign currency exchange rates: Beyond the renewal-reward theorem
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...
Naoya Sazuka, Jun-ichi Inoue
VMCAI
2010
Springer
14 years 5 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
CASES
2011
ACM
12 years 7 months ago
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon...