Sciweavers

3773 search results - page 595 / 755
» Logical Reasoning
Sort
View
139
Voted
CAGD
2010
132views more  CAGD 2010»
15 years 1 months ago
Skinning of circles and spheres
Skinning of an ordered set of discrete circles is discussed in this paper. By skinning we mean the geometric construction of two G1 continuous curves touching each of the circles ...
R. Kunkli, M. Hoffmann
AI
2010
Springer
14 years 12 months ago
Annotation Concept Synthesis and Enrichment Analysis
Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression mic...
Mikhail Jiline, Stan Matwin, Marcel Turcotte
VLSID
2002
IEEE
207views VLSI» more  VLSID 2002»
16 years 5 months ago
Synthesis of High Performance Low Power Dynamic CMOS Circuits
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
Debasis Samanta, Nishant Sinha, Ajit Pal
KES
2007
Springer
15 years 11 months ago
Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods
This work deals with the application of kernel methods to structured relational settings such as semantic knowledge bases expressed in Description Logics. Our method integrates a n...
Nicola Fanizzi, Claudia d'Amato
ATAL
2005
Springer
15 years 10 months ago
Knowledge and social laws
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
Wiebe van der Hoek, Mark Roberts, Michael Wooldrid...