Sciweavers

20017 search results - page 692 / 4004
» Using personas effectively
Sort
View
CORR
2006
Springer
77views Education» more  CORR 2006»
15 years 7 months ago
Prioritizing Software Inspection Results using Static Profiling
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
Cathal Boogerd, Leon Moonen
CVIU
2006
256views more  CVIU 2006»
15 years 7 months ago
Human body pose detection using Bayesian spatio-temporal templates
We present a template-based approach to detecting human silhouettes in a specific walking pose. Our templates consist of short sequences of 2D silhouettes obtained from motion cap...
Miodrag Dimitrijevic, Vincent Lepetit, Pascal Fua
JAR
2008
88views more  JAR 2008»
15 years 7 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
IJSEKE
2006
138views more  IJSEKE 2006»
15 years 7 months ago
Towards Automatic Establishment of Model Dependencies Using Formal Concept Analysis
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
Igor Ivkovic, Kostas Kontogiannis
IJSYSC
2006
86views more  IJSYSC 2006»
15 years 7 months ago
Cooperative forest fire surveillance using a team of small unmanned air vehicles
The objective of this paper is to explore the feasibility of using multiple low-altitude, short endurance (LASE) unmanned air vehicles (UAVs) to cooperatively monitor and track th...
David W. Casbeer, Derek B. Kingston, Randal W. Bea...