Sciweavers

771 search results - page 95 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
101
Voted
ATAL
2004
Springer
15 years 6 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 6 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
110
Voted
3DPVT
2002
IEEE
136views Visualization» more  3DPVT 2002»
15 years 5 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 4 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
145
Voted
WSC
2007
15 years 2 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