Sciweavers

5158 search results - page 205 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
LATA
2010
Springer
16 years 3 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
ICASSP
2008
IEEE
16 years 29 days ago
Reproducing kernel Hilbert spaces for spike train analysis
This paper introduces a generalized cross-correlation (GCC) measure for spike train analysis derived from reproducing kernel Hilbert spaces (RKHS) theory. An estimator for GCC is ...
António R. C. Paiva, Il Park, Jose C. Princ...
OOPSLA
2007
Springer
16 years 20 days ago
A framework for distributed collaborative conceptual model development
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
Ebrahim Bagheri, Ali A. Ghorbani
MMSEC
2006
ACM
129views Multimedia» more  MMSEC 2006»
16 years 14 days ago
WLAN steganography: a first practical review
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
Christian Krätzer, Jana Dittmann, Andreas Lan...
PODC
2006
ACM
16 years 14 days ago
Timeliness, failure-detectors, and consensus performance
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework...
Idit Keidar, Alexander Shraer