Sciweavers

2932 search results - page 218 / 587
» Higher order mining
Sort
View
DELTA
2004
IEEE
15 years 10 months ago
Phase Correlations in Human EEG Signal: A Case Study
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...
Gagandeep S. Sandha, Pawan K. Singh, Neha Oberoi, ...
AMAI
2006
Springer
15 years 6 months ago
Mechanizing common knowledge logic using COQ
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
Pierre Lescanne
COMPUTING
2007
108views more  COMPUTING 2007»
15 years 6 months ago
Accurate evaluation of divided differences for polynomial interpolation of exponential propagators
In this paper, we propose an approach to the computation of more accurate divided differences for the interpolation in the Newton form of the matrix exponential propagator ϕ(hA)v...
Marco Caliari
JOLLI
2010
78views more  JOLLI 2010»
15 years 5 months ago
On the Membership Problem for Non-Linear Abstract Categorial Grammars
embership problem for non-linear Abstract Categorial Grammars Sylvain Salvati Abstract In this paper we show that the membership problem for second order nonbstract Categorial Gram...
Sylvain Salvati
ICIP
2010
IEEE
15 years 4 months ago
Total subset variation prior
We propose total subset variation (TSV), a convexity preserving generalization of the total variation (TV) prior, for higher order clique MRF. A proposed differentiable approximat...
Sanjeev Kumar, Truong Q. Nguyen