Sciweavers

3914 search results - page 476 / 783
» Automating SLA modeling
Sort
View
ENTCS
2002
91views more  ENTCS 2002»
15 years 6 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
MVA
2002
188views Computer Vision» more  MVA 2002»
15 years 6 months ago
Adaptive Background Estimation for Object Tracking
2 Adaptive Background Model Tracking people has received considerable attention by computer vision researchers. Interest is motivated by the broad range of potential applications s...
Ryunosuke Itoh, Yoshio Iwai, Masahiko Yachida
IPAW
2010
15 years 4 months ago
Provenance of Decisions in Emergency Response Environments
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...
Iman Naja, Luc Moreau, Alex Rogers
IEAAIE
2010
Springer
15 years 4 months ago
Relief Patterned-Tile Classification for Automatic Tessella Assembly
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...
José Miguel Sanchiz Martí, Jorge Bad...
EDBT
2011
ACM
205views Database» more  EDBT 2011»
14 years 10 months ago
A probabilistic XML merging tool
This demonstration paper presents a probabilistic XML data merging tool, that represents the outcome of semi-structured document integration as a probabilistic tree. The system is...
Talel Abdessalem, M. Lamine Ba, Pierre Senellart