• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 354
Next 10 →

A Correspondence Theory for Terminological Logics: Preliminary Report

by Klaus Schild - In Proc. of IJCAI-91 , 1991
"... We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate by-products. Namely, we axiomatize ALC and give a ..."
Abstract - Cited by 307 (0 self) - Add to MetaCart
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate by-products. Namely, we axiomatize ALC and give

New spectral methods for ratio cut partition and clustering

by Lars Hagen, Andrew B. Kahng - IEEE TRANS. ON COMPUTER-AIDED DESIGN , 1992
"... Partitioning of circuit netlists is important in many phases of VLSI design, ranging from layout to testing and hardware simulation. The ratio cut objective function [29] has received much attention since it naturally captures both min-cut and equipartition, the two traditional goals of partitionin ..."
Abstract - Cited by 296 (17 self) - Add to MetaCart
for computing heuristic ratio cuts based on the eigenvector of this second ei-genvalue. Effective clustering methods are an immediate by-product of the second eigenvector computation, and are very successful on the “difficult” input classes proposed in the CAD literature. Finally, we discuss the very natural

Articles Assessing Exposure to Disinfection By-products in Women of Reproductive

by Altaf Tadkod, Judy Henry, Mathias B. Forrester
"... exposure measures for disinfection by-products, with special emphasis on trihalomethanes (THMs). Participants were mothers living in either geographic area who had given birth to healthy infants from June 1998 through May 1999. We assessed exposure by sampling blood and water and obtaining informati ..."
Abstract - Add to MetaCart
exposure measures for disinfection by-products, with special emphasis on trihalomethanes (THMs). Participants were mothers living in either geographic area who had given birth to healthy infants from June 1998 through May 1999. We assessed exposure by sampling blood and water and obtaining

Coil sensitivity encoding for fast MRI. In:

by Klaas P Pruessmann , Markus Weiger , Markus B Scheidegger , Peter Boesiger - Proceedings of the ISMRM 6th Annual Meeting, , 1998
"... New theoretical and practical concepts are presented for considerably enhancing the performance of magnetic resonance imaging (MRI) by means of arrays of multiple receiver coils. Sensitivity encoding (SENSE) is based on the fact that receiver sensitivity generally has an encoding effect complementa ..."
Abstract - Cited by 193 (3 self) - Add to MetaCart
of the object. Formally this is done simply by removing the corresponding column in the sensitivity matrix and setting the excluded pixel to zero in the final image. Knowledge of which voxels may safely be excluded is obtained as a by-product of sensitivity assessment. In Eq. [2] receiver noise levels

Structural Saliency: The Detection of Globally Salient Structures Using a Locally Connected Network

by Amnon Sha'ashua , Shlmon Ullman , 1988
"... When we look at images, certain salient structures often attract our immediate attention, without requiring a systematic scan of the entire image. In subsequent stages, processing resources can be allocated preferentially to these salient structures. In many cases this saJiency is a property of the ..."
Abstract - Cited by 161 (1 self) - Add to MetaCart
. The main.properties of the network are: (i) the computations are simple and local, (ii) globally salient structures emerge with a small number of iterations (iii) as a by-product of the computation contours are smoothed, and gaps are filled-in.

KIT REPORT 91 A Correspondence Theory for Terminological Logics � Preliminary Report

by Klaus Schild, Technische Universit�at Berlin , 1991
"... We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K �m�. To demonstrate the utility of the correspondence � we give two of its immediate by�products. Namely � we axiomatize ALC and give ..."
Abstract - Add to MetaCart
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K �m�. To demonstrate the utility of the correspondence � we give two of its immediate by�products. Namely � we axiomatize ALC and give

A Correspondence Theory for Terminological Logics: Preliminary

by unknown authors
"... We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K(m)- To demonstrate the utility of the correspondence, we give two of its immediate by-products, Namely, we axiomatize ACC and give a s ..."
Abstract - Add to MetaCart
We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K(m)- To demonstrate the utility of the correspondence, we give two of its immediate by-products, Namely, we axiomatize ACC and give a

Is Human Object Recognition Better Described By Geon-Structural-Descriptions Or By Multiple-Views?

by Michael J. Tarr, Heinrich H. Bülthoff , 1995
"... Is human object recognition viewpoint dependent or viewpointinvariant under #everyday " conditions? Biederman and Gerhardstein #1993# argue that viewpoint-invariant mechanisms are used almost exclusively.However, our analysis indicates that: 1# their conditions for immediate viewpointinvariance ..."
Abstract - Cited by 142 (19 self) - Add to MetaCart
viewpointinvariance lack the generalitytocharacterize a wide range of recognition phenomena; 2# the extensive body of viewpoint-dependent results cannot be dismissed as processing #by-products" or #experimental artifacts"; 3# geon structural descriptions cannot coherently account for category recognition

Center for By-Products Utilization INFLUENCE OF FLY ASH AND CHEMICAL ADMIXTURES ON THE SETTING TIME OF CEMENT PASTE AND CONCRETE Influence of Fly Ash and Chemical Admixtures on the Setting Time of Cement Paste and Concrete INFLUENCE OF FLY ASH ON SETTING

by Tarun R Naik , Rafat Siddique , Bruce W Ramme , Tarun R Naik , Rafat Siddique , Bruce W Ramme
"... Synopsis: A recurring question about use of fly ash in concrete is dealing with setting and hardening of such mixtures with our with out chemical admixtures. This paper presents literature review on the setting and hardening characteristics of cement paste and concrete as influenced by the inclusio ..."
Abstract - Add to MetaCart
used. Keywords: Air-entraining admixture (AEA), concrete, fly ash, gypsum, high-range water-reducing admixture (HRWRA), paste, retarder, time of setting, water-reducing admixture. INTRODUCTION Immediately upon mixing of cement and water, various chemical reactions occur leading to formation

AN IMMEDIATE PROOF OF THE NON-EXISTENCE OF GW’S

by Angelo Loinger , 2004
"... Abstract. In general relativity (GR) no observer is physically privileged. As a strict consequence, it can be shown that the physical generation of gravitational waves (GW’s) is quite impossible. 1.- As it is well known, the notion of GW came forth as a by-product of the linear approximation of GR [ ..."
Abstract - Add to MetaCart
Abstract. In general relativity (GR) no observer is physically privileged. As a strict consequence, it can be shown that the physical generation of gravitational waves (GW’s) is quite impossible. 1.- As it is well known, the notion of GW came forth as a by-product of the linear approximation of GR
Next 10 →
Results 1 - 10 of 354
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University