367 search results - page 36 / 74 » tools 1997 |
RTSS
1997
IEEE
14 years 28 days ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
CVPR
1997
IEEE
14 years 10 months ago
1997
IEEE
A general geometrical framework for image processing is presented. We consider intensity images as surfaces in the (x I) space. The image is thereby a two dimensional surface in t...
ICIP
1997
IEEE
14 years 10 months ago
1997
IEEE
Multi-channel super-resolution is a means of recovering high frequency information by trading off the temporal bandwidth. Almost all the methods proposed in the literature are bas...
CCECE
2006
IEEE
14 years 2 months ago
2006
IEEE
Security design patterns have been proposed recently as a tool for the improvement of software security during the architecture and design phases. Since the apperance of this rese...
DATE
1997
IEEE
14 years 29 days ago
1997
IEEE
: In this paper, we present a new dynamic power estimation method that produces accurate power measures at considerably faster run times. The approach uses an enhanced switch-level...