Sciweavers

436 search results - page 51 / 88
» A Note on Negligible Functions
Sort
View
ISBI
2008
IEEE
15 years 4 months ago
Examining associations between FMRI and EEG data using canonical correlation analysis
Functional magnetic resonance imaging (fMRI) and electroencephalography (EEG) provide complementary information about the brain function. We propose a novel scheme to examine asso...
Nicolle M. Correa, Yi-Ou Li, Tülay Adali, Vin...
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
15 years 4 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
MFCS
2001
Springer
15 years 2 months ago
The Size of Power Automata
We describe a class of simple transitive semiautomata that exhibit full exponential blow-up during deterministic simulation. For arbitrary semiautomata we show that it is PSPACE-c...
Klaus Sutner
CDC
2009
IEEE
112views Control Systems» more  CDC 2009»
15 years 1 months ago
A Floquet-like factorization for linear periodic systems
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
Ichiro Jikuya, Ichijo Hodaka
ACNS
2004
Springer
131views Cryptology» more  ACNS 2004»
15 years 1 months ago
Evaluating Security of Voting Schemes in the Universal Composability Framework
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
Jens Groth