Sciweavers

2501 search results - page 53 / 501
» Logics with Rank Operators
Sort
View
121
Voted
SIGOPSE
1994
ACM
15 years 4 months ago
SPIN - An Extensible Microkernel for Application-specific Operating System Services
Application domains, such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating syst...
Brian N. Bershad, Craig Chambers, Susan J. Eggers,...
67
Voted
FUZZIEEE
2007
IEEE
15 years 7 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
97
Voted
ISMVL
2010
IEEE
174views Hardware» more  ISMVL 2010»
15 years 5 months ago
Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits
—Fixed-point multiplication architectures are designed and evaluated using a set of logic cells based on a radix-4, quaternary number system. The library of logic circuits is bas...
Satyendra R. Datla, Mitchell A. Thornton
105
Voted
FLAIRS
2007
15 years 3 months ago
Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
Bernhard Heinemann
90
Voted
AAAI
1990
15 years 1 months ago
Operationality Criteria for Recursive Predicates
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
Stanley Letovsky