Sciweavers

3884 search results - page 449 / 777
» A simplified modeling approach for human system interaction
Sort
View
QEST
2010
IEEE
15 years 4 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
ICCV
2007
IEEE
16 years 1 months ago
Real-Time Automatic Kinematic Model Building for Optical Motion Capture Using a Markov Random Field
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
Stjepan Rajko, Gang Qian
ECAI
2006
Springer
15 years 10 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
JUCS
2010
217views more  JUCS 2010»
15 years 5 months ago
The 3A Personalized, Contextual and Relation-based Recommender System
Abstract: This paper discusses the 3A recommender system that targets CSCL (computersupported collaborative learning) and CSCW (computer-supported collaborative work) environments....
Sandy El Helou, Christophe Salzmann, Denis Gillet
HAPTICS
2005
IEEE
16 years 14 days ago
Stable and Responsive Six-Degree-of-Freedom Haptic Manipulation Using Implicit Integration
In this paper we present a novel approach for simulating the rigid body dynamics of a haptically manipulated object using implicit integration. Our formulation requires the linear...
Miguel A. Otaduy, Ming C. Lin