Sciweavers

2098 search results - page 257 / 420
» The Persistent Abstract Machine
Sort
View
IJCNN
2008
IEEE
15 years 11 months ago
Learning adaptive subject-independent P300 models for EEG-based brain-computer interfaces
Abstract— This paper proposes an approach to learn subjectindependent P300 models for EEG-based brain-computer interfaces. The P300 models are first learned using a pool of exis...
Shijian Lu, Cuntai Guan, Haihong Zhang
TPHOL
2008
IEEE
15 years 11 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 11 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
15 years 11 months ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...
MMM
2007
Springer
176views Multimedia» more  MMM 2007»
15 years 11 months ago
An Efficient Automatic Video Shot Size Annotation Scheme
Abstract. This paper presents an efficient learning scheme for automatic annotation of video shot size. Instead of existing methods that applied in sports videos using domain knowl...
Meng Wang, Xian-Sheng Hua, Yan Song, Wei Lai, Li-R...