1404 search results - page 165 / 281 » Complexity of admissible rules |
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
C5
2008
IEEE
14 years 3 months ago
2008
IEEE
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
DASFAA
2007
IEEE
14 years 3 months ago
2007
IEEE
In many data-publishing applications, the data owner needs to protect sensitive information pertaining to individuals. Meanwhile, certain information is required to be published. T...
IJCNN
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper suggests a constructive fuzzy system modeling for time series prediction. The model proposed is based on Takagi-Sugeno system and it comprises two phases. First, a f...
IJCNN
2007
IEEE
14 years 3 months ago
2007
IEEE
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...