Sciweavers

250 search results - page 35 / 50
» Quantitative Association Analysis Using Tree Hierarchies
Sort
View
METRICS
2003
IEEE
14 years 7 hour ago
Using Prior-Phase Effort Records for Re-estimation During Software Projects
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
Stephen G. MacDonell, Martin J. Shepperd
DAS
2010
Springer
13 years 11 months ago
A system to detect rooms in architectural floor plan images
In this article, a system to detect the rooms in architectural floor plan images is described. We first present a primitive extraction algorithm for line detection. It is based ...
Sébastien Macé, Hervé Locteau...
CLEF
2009
Springer
13 years 4 months ago
ImageCLEF 2009 Medical Image Annotation Task: PCTs for Hierarchical Multi-Label Classification
In this paper, we describe an approach for the automatic medical image annotation task of the 2009 CLEF cross-language image retrieval campaign (ImageCLEF). This work is focused o...
Ivica Dimitrovski, Dragi Kocev, Suzana Loskovska, ...
CAV
2012
Springer
231views Hardware» more  CAV 2012»
11 years 9 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
CVPR
2011
IEEE
13 years 1 months ago
Stable Multi-Target Tracking in Real-Time Surveillance Video
The majority of existing pedestrian trackers concentrate on maintaining the identities of targets, however systems for remote biometric analysis or activity recognition in surveill...
Ben Benfold and Ian Reid