Sciweavers

6014 search results - page 115 / 1203
» Parametric Analysis of Computer Systems
Sort
View
SADFE
2007
IEEE
16 years 17 days ago
The Rules of Time on NTFS File System
—With the rapid development and popularity of IT technology, criminals and mischievous computer users are given avenues to commit crimes and malicious activities. As forensic sci...
Kam-Pui Chow, Frank Y. W. Law, Michael Y. K. Kwan,...
BMVC
1998
15 years 7 months ago
Gait Classification with HMMs for Trajectories of Body Parts Extracted by Mixture Densities
In this paper we describe a system for automatic gait analysis. Different kinds of human gait are recognized using sequences of grey
Dorthe Meyer, Josef Pösl, Heinrich Niemann
CLUSTER
2002
IEEE
15 years 11 months ago
Cluster Based Hybrid Hash Join: Analysis and Evaluation
The join is the most important, but also the most time consuming operation in relational database systems. We implemented the parallel Hybrid Hash Join algorithm on a PC-cluster a...
Erich Schikuta, Peter Kirkovits
ICTAC
2009
Springer
15 years 4 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
Hallstein Asheim Hansen, Gerardo Schneider
BMCBI
2010
131views more  BMCBI 2010»
15 years 6 months ago
A comparison of approximation techniques for variance-based sensitivity analysis of biochemical reaction systems
Background: Sensitivity analysis is an indispensable tool for the analysis of complex systems. In a recent paper, we have introduced a thermodynamically consistent variance-based ...
Hong-Xuan Zhang, John Goutsias