Sciweavers

104 search results - page 12 / 21
» Formal concept analysis of higher order
Sort
View
FOCI
2007
IEEE
15 years 6 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
105
Voted
DEON
2004
Springer
15 years 6 months ago
Collective Obligations and Agents: Who Gets the Blame?
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
Davide Grossi, Frank Dignum, Lambèr M. M. R...
103
Voted
JAR
2008
88views more  JAR 2008»
15 years 16 days ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
88
Voted
ICASSP
2008
IEEE
15 years 7 months ago
Average case analysis of sparse recovery with thresholding : New bounds based on average dictionary coherence
This paper analyzes the performance of the simple thresholding algorithm for sparse signal representations. In particular, in order to be more realistic we introduce a new probabi...
Mohammad Golbabaee, Pierre Vandergheynst
107
Voted
ESWS
2005
Springer
15 years 6 months ago
Semantic Annotation of Images and Videos for Multimedia Analysis
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
Stephan Bloehdorn, Kosmas Petridis, Carsten Saatho...