1156 search results - page 207 / 232 » Compositional Methods for Information-Hiding |
196
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
Natural scene categorization of images represents a very useful task for automatic image analysis systems in a wide variety of applications. In the literature, several methods hav...
165
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
156
click to vote
ECBS
2006
IEEE
16 years 17 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
171
click to vote
SI3D
1999
ACM
15 years 10 months ago
1999
ACM
A rendering is an abstraction that favors, preserves, or even emphasizes some qualities while sacrificing, suppressing, or omitting other characteristics that are not the focus o...
177
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
We present a method of recovering high dynamic range radiance maps from photographs taken with conventional imaging equipment. In our method, multiple photographs of the scene are...