4036 search results - page 266 / 808 » Formal Methods |
173
click to vote
AFRIGRAPH
2001
ACM
15 years 10 months ago
2001
ACM
We present independent method to reduce the number of shadow ray tests. It can be used with standard acceleration ray tracing algorithms. Our method is conservative and produces t...
108
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
A new theoretical development is presented for handling the over-segmentation problem in partitioning-based connected openings. The definition we propose treats singletons generat...
188
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
This paper describes a method for formal compression of fuzzy systems. This method compresses a fuzzy system with an arbitrarily large number of rules into a smaller fuzzy system ...
172
click to vote
TSD
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
188
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...