Sciweavers

5615 search results - page 350 / 1123
» Active Learner Modelling
Sort
View
ICASSP
2009
IEEE
15 years 2 months ago
Modelling the neurovascular habituation effect on fMRI time series
In this paper, a novel non-stationary model of functional Magnetic Resonance Imaging (fMRI) time series is proposed. It allows us to account for some putative habituation effect a...
Philippe Ciuciu, Stéphane Sockeel, Thomas V...
DATE
2006
IEEE
81views Hardware» more  DATE 2006»
15 years 11 months ago
Lock-free synchronization for dynamic embedded real-time systems
We consider lock-free synchronization for dynamic embedded real-time systems that are subject to resource overloads and arbitrary activity arrivals. We model activity arrival beha...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 8 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
AR
2007
204views more  AR 2007»
15 years 5 months ago
Action recognition and understanding through motor primitives
In robotics, recognition of human activity has been used extensively for robot task learning through imitation and demonstration. However, there has not been much work on modeling...
Isabel Serrano Vicente, Ville Kyrki, Danica Kragic...
ENGL
2008
94views more  ENGL 2008»
15 years 5 months ago
Prototyping, Domain Specific Language, and Testing
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
Liguo Yu