Sciweavers

4209 search results - page 364 / 842
» Abstract Dialectical Frameworks
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 5 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
CNSM
2010
15 years 4 months ago
Decomposition techniques for policy refinement
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandr...
ICA
2010
Springer
15 years 4 months ago
Riemannian Geometry Applied to BCI Classification
Abstract. In brain computer interface based on motor imagery, covariances matrices are widely used through spatial filters computation and other signal processing methods. Covarian...
Alexandre Barachant, Stéphane Bonnet, Marco...
ISVC
2010
Springer
15 years 4 months ago
A Spatio-Spectral Algorithm for Robust and Scalable Object Tracking in Videos
Abstract. In this work we propose a mechanism which looks at processing the low-level visual information present in video frames and prepares mid-level tracking trajectories of obj...
Alireza Tavakkoli, Mircea Nicolescu, George Bebis
EDM
2009
108views Data Mining» more  EDM 2009»
15 years 4 months ago
Student Consistency and Implications for Feedback in Online Assessment Systems
Abstract. Most of the emphasis on mining online assessment logs has been to identify contentspecific errors. However, the pattern of general "consistency" is domain indep...
Tara M. Madhyastha, Steven L. Tanimoto