Sciweavers

2470 search results - page 10 / 494
» Liveness-Preserving Simulation Relations
Sort
View
LOGCOM
2010
120views more  LOGCOM 2010»
13 years 2 months ago
Paraconsistent Machines and their Relation to Quantum Computing
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
Juan C. Agudelo, Walter Alexandre Carnielli
HCI
2007
13 years 9 months ago
Event-Related Brain Dynamics in Continuous Sustained-Attention Tasks
Event-related brain dynamics of electroencephalographic (EEG) activity in a continuous compensatory tracking task (CTT) and in a continuous driving simulation were analyzed by inde...
Ruey-Song Huang, Tzyy-Ping Jung, Scott Makeig
NIPS
2008
13 years 9 months ago
Relative Performance Guarantees for Approximate Inference in Latent Dirichlet Allocation
Hierarchical probabilistic modeling of discrete data has emerged as a powerful tool for text analysis. Posterior inference in such models is intractable, and practitioners rely on...
Indraneel Mukherjee, David M. Blei
TSMC
2008
94views more  TSMC 2008»
13 years 7 months ago
Queuing Network Modeling of a Real-Time Psychophysiological Index of Mental Workload - P300 in Event-Related Potential (ERP)
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
Changxu Wu, Yili Liu, C. M. Quinn-Walsh
ICASSP
2011
IEEE
12 years 11 months ago
On the relation between ICA and MMSE based source separation
This paper aims at deriving a relationship between minimum mean square error (MMSE) based source separation and independent component analysis (ICA) based on the Kullback-Leibler ...
Benedikt Loesch, Bin Yang