Results 231 to 240 of about 569,916 (267)
Some of the next articles are maybe not open access.
Journal of Automated Reasoning, 1987
The main contribution of the paper is the goal-oriented hierarchical deduction proof procedure. The procedure proves a theorem by producing not just one but all the acceptable resolvents from the goal clause. There is a set of completeness-preserving refinements to constrain the generation of the irrelevant resolvents.
Tie-Cheng Wang, W. W. Bledsoe
openaire +1 more source
The main contribution of the paper is the goal-oriented hierarchical deduction proof procedure. The procedure proves a theorem by producing not just one but all the acceptable resolvents from the goal clause. There is a set of completeness-preserving refinements to constrain the generation of the irrelevant resolvents.
Tie-Cheng Wang, W. W. Bledsoe
openaire +1 more source
2015
Narrowcasting, in analogy to uni-, broad-, and multicasting, is a formalization of media control functions that can be used to adjust exposure and receptiveness. Its idioms have been deployed in spatial sound diffusion interfaces, internet telephony, immersive chatspaces, and collaborative music audition systems.
openaire +1 more source
Narrowcasting, in analogy to uni-, broad-, and multicasting, is a formalization of media control functions that can be used to adjust exposure and receptiveness. Its idioms have been deployed in spatial sound diffusion interfaces, internet telephony, immersive chatspaces, and collaborative music audition systems.
openaire +1 more source
Hierarchical and Non-Hierarchical Coordination
2018This chapter focuses on hierarchical and non-hierarchical (including deliberative) governance modes in areas of limited statehood (i.e. on the ‘how’ of governance). Actorhood and modes of governance are orthogonal to each other. State actors are involved in non-hierarchical governance and non-state actors—including violent ones—sometimes exercise ...
openaire +1 more source
2013
A novel approach is described for the combination of unification algorithms for two equational theories E 1 and E 2 which share function symbols. We are able to identify a set of restrictions and a combination method such that if the restrictions are satisfied the method produces a unification algorithm for the union of non-disjoint equational theories.
Erbatur, Serdar +4 more
openaire +2 more sources
A novel approach is described for the combination of unification algorithms for two equational theories E 1 and E 2 which share function symbols. We are able to identify a set of restrictions and a combination method such that if the restrictions are satisfied the method produces a unification algorithm for the union of non-disjoint equational theories.
Erbatur, Serdar +4 more
openaire +2 more sources
Hierarchical++: improving the hierarchical clustering algorithm
International Journal of Data Mining, Modelling and Management, 2023Wallace Anacleto Pinheiro +1 more
openaire +1 more source
IEEE Computer Graphics and Applications, 2000
Rich, interesting patterns create an oasis of aesthetic pleasure between the arid lands of complete randomness and complete order. In addition to their inherent beauty, patterns prove useful in graphics when we use them as textures. Textures were originally used to add color detail to shapes. Today, textures control everything from shape details to the
openaire +1 more source
Rich, interesting patterns create an oasis of aesthetic pleasure between the arid lands of complete randomness and complete order. In addition to their inherent beauty, patterns prove useful in graphics when we use them as textures. Textures were originally used to add color detail to shapes. Today, textures control everything from shape details to the
openaire +1 more source
2006
In this paper we motivate and formalise a framework that organises Dung argumentation frameworks into a hierarchy. Argumentation over preference information in a level n Dung framework is then used to resolve conflicts between arguments in a level n-1 framework.
openaire +1 more source
In this paper we motivate and formalise a framework that organises Dung argumentation frameworks into a hierarchy. Argumentation over preference information in a level n Dung framework is then used to resolve conflicts between arguments in a level n-1 framework.
openaire +1 more source
Out-of-plane mechanical design of bi-directional hierarchical honeycombs
Composites Part B: Engineering, 2021Yong Zhang, Yangli Xu, Wenzhen Huang
exaly