Sciweavers

2278 search results - page 103 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
112
Voted
MMM
2011
Springer
187views Multimedia» more  MMM 2011»
14 years 2 months ago
A User-Centric System for Home Movie Summarisation
In this paper we present a user-centric summarisation system that combines automatic visual-content analysis with user-interface design features as a practical method for home movi...
Saman Cooray, Hyowon Lee, Noel E. O'Connor
109
Voted
POLICY
2005
Springer
15 years 5 months ago
Policy Conflict Analysis for Quality of Service Management
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
Marinos Charalambides, Paris Flegkas, George Pavlo...
ICPR
2006
IEEE
16 years 22 days ago
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpa...
ICSE
2008
IEEE-ACM
16 years 13 days ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
71
Voted
ECCV
2004
Springer
15 years 5 months ago
Statistical Imaging for Modeling and Identification of Bacterial Types
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
Sigal Trattner, Hayit Greenspan, Gabi Tepper, Shim...