Sciweavers

2467 search results - page 189 / 494
» Finite State Machines
Sort
View
FMICS
2007
Springer
16 years 24 days ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
ITS
2010
Springer
148views Multimedia» more  ITS 2010»
15 years 11 months ago
The Impact of System Feedback on Learners' Affective and Physiological States
We investigate how positive, neutral and negative feedback responses from an Intelligent Tutoring System (ITS) influences learners‟ affect and physiology. AutoTutor, an ITS with ...
Payam Aghaei Pour, M. Sazzad Hussain, Omar AlZoubi...
ISRR
2001
Springer
109views Robotics» more  ISRR 2001»
15 years 11 months ago
Probabilistic Adaptive Agent Based System for Dynamic State Estimation using Multiple Visual Cues
Most of current machine vision systems suffer from a lack of flexibility to account for the high variability of unstructured environments. Here, as the state of the world evolves ...
Alvaro Soto, Pradeep K. Khosla
ICASSP
2010
IEEE
15 years 6 months ago
Automatic state discovery for unstructured audio scene classification
In this paper we present a novel scheme for unstructured audio scene classification that possesses three highly desirable and powerful features: autonomy, scalability, and robust...
Julian Ramos, Sajid M. Siddiqi, Artur Dubrawski, G...
ICCV
2009
IEEE
15 years 4 months ago
Structural SVM for visual localization and continuous state estimation
We present an integrated model for visual object localization and continuous state estimation in a discriminative structured prediction framework. While existing discriminative `p...
Catalin Ionescu, Liefeng Bo, Cristian Sminchisescu