Sciweavers

4636 search results - page 106 / 928
» Modelling and Validation with VipTool
Sort
View
FIW
2009
163views Communications» more  FIW 2009»
13 years 5 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...
ICCAD
2009
IEEE
128views Hardware» more  ICCAD 2009»
13 years 5 months ago
PCRAMsim: System-level performance, energy, and area modeling for Phase-Change RAM
Phase-change random access memory (PCRAM) is an emerging memory technology with attractive features, such as fast read access, high density, and non-volatility. Because of these a...
Xiangyu Dong, Norman P. Jouppi, Yuan Xie
CVPR
2011
IEEE
13 years 4 months ago
Extracting and Locating Temporal Motifs in Video Scenes Using a Hierarchical Non Parametric Bayesian Model
In this paper, we present an unsupervised method for mining activities in videos. From unlabeled video sequences of a scene, our method can automatically recover what are the recu...
Ré, mi Emonet, Jagannadan Varadarajan, Jean-Marc ...
PE
2010
Springer
124views Optimization» more  PE 2010»
13 years 2 months ago
High-level approach to modeling of observed system behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
ICASSP
2011
IEEE
12 years 11 months ago
Efficient block-division model for robust multiple object tracking
Tracking multiple objects under occlusion is one of the most challenging issues in computer vision. Occlusion results in mistaken match when finding the most similar candidate. A...
Wenhan Luo, Xiaoqin Zhang, Yang Liu, Xi Li, Weimin...