367 search results - page 36 / 74 » tools 1997 |
142
Voted
RTSS
1997
IEEE
15 years 7 months 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....
118
Voted
CVPR
1997
IEEE
16 years 4 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...
103
Voted
ICIP
1997
IEEE
16 years 4 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...
117
Voted
CCECE
2006
IEEE
15 years 8 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...
107
Voted
DATE
1997
IEEE
15 years 7 months 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...