3951 search results - page 18 / 791 » Automatic amortized analysis |
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A method for automatically assessing the constructional sequence from a neuropsychological drawing task using Hidden Markov Models is presented. We also present a method of extrac...
ECBS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
SDL
2003
13 years 11 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
A considerable amount of work in larger film and video restoration projects is dedicated to manually exploring the audiovisual content in order to estimate the costs for restorati...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...