Sciweavers

728 search results - page 37 / 146
» ideas 2009
Sort
View
ATAL
2009
Springer
14 years 3 months ago
A model for integrating dialogue and the execution of joint plans
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
Yuqing Tang, Timothy J. Norman, Simon Parsons
CAISE
2009
Springer
14 years 3 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...
CMSB
2009
Springer
14 years 3 months ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
CSL
2009
Springer
14 years 3 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
DAGM
2009
Springer
14 years 3 months ago
Localised Mixture Models in Region-Based Tracking
An important problem in many computer vision tasks is the separation of an object from its background. One common strategy is to estimate appearance models of the object and backgr...
Christian Schmaltz, Bodo Rosenhahn, Thomas Brox, J...