Sciweavers

2306 search results - page 188 / 462
» Modeling issues in a shipping system
Sort
View
APSEC
2004
IEEE
15 years 10 months ago
An Integrated Model of ISO 9001: 2000 and CMMI for ISO Registered Organizations
ISO 9001 is a standard for quality management systems while CMMI is a model for process improvement. If an organization that has achieved ISO registration wishes to improve proces...
Chanwoo Yoo, Junho Yoon, Byungjeong Lee, Chong-Won...
CICLING
2004
Springer
15 years 10 months ago
Extracting Domain Knowledge for Dialogue Model Adaptation
Domain shift is a challenging issue in dialogue management. This paper shows how to extract domain knowledge for dialogue model adaptation. The basic semantic concepts are derived ...
Kuei-Kuang Lin, Hsin-Hsi Chen
FOSSACS
2008
Springer
15 years 7 months ago
Model Checking Freeze LTL over One-Counter Automata
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
Stéphane Demri, Ranko Lazic, Arnaud Sangnie...
IVC
2008
223views more  IVC 2008»
15 years 6 months ago
Euclidean path modeling for video surveillance
In this paper, we address the issue of Euclidean path modeling in a single camera for activity monitoring in a multi-camera video surveillance system. The method consists of a pat...
Imran N. Junejo, Hassan Foroosh
PE
2006
Springer
130views Optimization» more  PE 2006»
15 years 6 months ago
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
Rossano Gaeta, Marco Gribaudo, Daniele Manini, Mat...