Sciweavers

771 search results - page 95 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
ATAL
2004
Springer
15 years 4 months ago
A Complete and Decidable Logic for Resource-Bounded Agents
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
Natasha Alechina, Brian Logan, Mark Whitsey
MLMI
2004
Springer
15 years 4 months ago
Multistream Dynamic Bayesian Network for Meeting Segmentation
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
Alfred Dielmann, Steve Renals
3DPVT
2002
IEEE
136views Visualization» more  3DPVT 2002»
15 years 3 months ago
Extraction and Description of 3D (Articulated) Moving Objects
We seek to extract the three-dimensional motion of articulated objects by passive sensing. We first developed a multi-view system that segments objects from the background before...
Karl J. Sharman, Mark S. Nixon, John N. Carter
ELPUB
2007
ACM
15 years 2 months ago
Enhancing Traditional Media Services Utilising Lessons Learnt from Successful Social Media Applications - Case Studies and Frame
The paper presents a framework for describing electronic media services. The framework was created by utilising earlier models and case studies of successful social media applicat...
Asta Bäck, Sari Vainikainen
WSC
2007
15 years 1 months ago
Determining efficient simulation run lengths for real time decision making
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
Russell C. H. Cheng