Sciweavers

394 search results - page 12 / 79
» Logical operations and Kolmogorov complexity
Sort
View
FUZZIEEE
2007
IEEE
14 years 3 months ago
Optimised Generalised Type-2 Join and Meet Operations
— The inferencing stage of a type-2 fuzzy inferencing system is driven by join and meet operations. As conventionally implemented these algorithms are computationally complex. Th...
Sarah Greenfield, Robert John
JDS
2007
104views more  JDS 2007»
13 years 8 months ago
Operational Risk Management How an I-DSS May Help
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...
Pedro A. C. Sousa, João Paulo Pimentã...
SBCCI
2009
ACM
187views VLSI» more  SBCCI 2009»
14 years 1 months ago
Design of low complexity digital FIR filters
The multiplication of a variable by multiple constants, i.e., the multiple constant multiplications (MCM), has been a central operation and performance bottleneck in many applicat...
Levent Aksoy, Diego Jaccottet, Eduardo Costa
TASE
2009
IEEE
14 years 3 months ago
The Logical Approach to Low-Level Stack Reasoning
—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...
Xinyu Jiang, Yu Guo, Yiyun Chen
DEON
2006
Springer
13 years 10 months ago
A Logical Architecture of a Normative System
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
Guido Boella, Leendert W. N. van der Torre