Sciweavers

7861 search results - page 453 / 1573
» Orthographic Modeling Environment
Sort
View
CLEAR
2007
Springer
211views Biometrics» more  CLEAR 2007»
16 years 1 months ago
An Appearance-Based Particle Filter for Visual Tracking in Smart Rooms
This paper presents a visual particle filter for tracking a variable number of humans interacting in indoor environments, using multiple cameras. It is built upon a 3-dimensional,...
Oswald Lanz, Paul Chippendale, Roberto Brunelli
192
Voted
IPPS
2006
IEEE
16 years 26 days ago
Multisite co-allocation algorithms for computational grid
Efficient multisite job scheduling facilitates the cooperation of multi-domain massively parallel processor systems in a computing grid environment. However, co-allocation, hetero...
Weizhe Zhang, A. M. K. Cheng, Mingzeng Hu
CEEMAS
2001
Springer
15 years 11 months ago
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
WSC
2007
15 years 9 months ago
Determining safety stocks in the presence of workload-dependent lead times
Most classical stochastic inventory models assume that replenishment lead times are independent of the amount of orders placed. This assumption is clearly problematic in capacitat...
Seza Orcun, Sila Çetinkaya, Reha Uzsoy