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

CiteSeerX logo

Tools

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

Data Integration: A Challenging ASP Application

by Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kałka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
"... Abstract. The paper presents INFOMIX a successful application of ASP tech-nology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information integration, utilizing the ASP system DLV. While INFOMIX is based on solid theoretical foundations, it is a user-friendly ..."
Abstract - Add to MetaCart
Abstract. The paper presents INFOMIX a successful application of ASP tech-nology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information integration, utilizing the ASP system DLV. While INFOMIX is based on solid theoretical foundations, it is a user

**FULL TITLE** ASP Conference Series, Vol. **VOLUME**, **YEAR OF PUBLICATION** **NAMES OF EDITORS** The Evolution of Stellar Mass Density and its Implied Star Formation History

by S. M. Wilkins, N. Trentham, A. M. Hopkins , 803
"... Abstract. Using a compilation of measurements of the stellar mass density as a function of redshift we can infer the cosmic star formation history. For z < 0.7 there is good agreement between the two star formation histories. At higher redshifts the instantaneous indicators suggest star formation ..."
Abstract - Add to MetaCart
Abstract. Using a compilation of measurements of the stellar mass density as a function of redshift we can infer the cosmic star formation history. For z < 0.7 there is good agreement between the two star formation histories. At higher redshifts the instantaneous indicators suggest star

**TITLE** ASP Conference Series, Vol. **VOLUME**, **PUBLICATION YEAR** **EDITORS** Dynamics of HCGs

by H. M. Tovmassian, V. H. Chavushyan, O. Martinez, O. Yam, H. Tiersch , 2002
"... Abstract. It is shown that the radial velocity dispersion of HCGs is correlated with the elongation of groups, b/a. It means that galaxies in a group move preferentially along its elongation. Inspection of radial velocities of member galaxies in chain-like and in round HCGs shows that galaxies in HC ..."
Abstract - Add to MetaCart
in HCGs most probably rotate around the gravitational center of the corresponding group. Other two possible mechanisms: flying apart of galaxies from the group in opposite directions, and infall of field galaxies upon the group are excluded. It follows that HCGs are more stable formations, than it has

**FULL TITLE** ASP Conference Series, Vol. **VOLUME**, **YEAR OF PUBLICATION** **NAMES OF EDITORS** Constraining Galaxy Evolution With Bulge-Disk-Bar Decomposition

by Tim Weinzirl, Shardha Jogee, Fabio D. Barazza , 802
"... Structural decomposition of galaxies into bulge, disk, and bar components is important to address a number of scientific problems. Measuring bulge, disk, and bar structural parameters will set constraints on the violent and secular processes of galaxy assembly and recurrent bar formation and dissolu ..."
Abstract - Add to MetaCart
Structural decomposition of galaxies into bulge, disk, and bar components is important to address a number of scientific problems. Measuring bulge, disk, and bar structural parameters will set constraints on the violent and secular processes of galaxy assembly and recurrent bar formation

Answer-Set Programming in Requirements Engineering

by Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski
"... Abstract. [Context and motivation] Requirements form the foundation of soft-ware systems. The quality of the requirements influences the quality of the de-veloped software. [Question/problem] One of the main requirement issues is inconsistency, particularly onerous when the requirements concern temp ..."
Abstract - Add to MetaCart
inconsistencies in software and system requirements. Our assumption is that these requirements are given in a formal requirement specification language called Temporal Ac-tion Language (TeAL). [Contribution] We present a translation from TeAL to the ASP language format accepted by clingcon. We show that clingcon

4005-898-01 Independent Study Report Character Segmentation and Classification

by Kurt Alfred Kluever , 2008
"... Optical Character Recognition (OCR) is the process of translating images of handwritten, typewritten, or printed text into a format understood by machines for the purpose of editing, indexing/searching, and compression. The process can be broken down into 3 tightly coupled tasks: pre-processing, seg ..."
Abstract - Add to MetaCart
Optical Character Recognition (OCR) is the process of translating images of handwritten, typewritten, or printed text into a format understood by machines for the purpose of editing, indexing/searching, and compression. The process can be broken down into 3 tightly coupled tasks: pre

synthase and

by Laura Strittmatter, Yang Li, Nathan J. Nakatsuka, Sarah E. Calvo, Zenon Grabarek, Vamsi K. Mootha , 2013
"... is a polymorphic human enzyme with malate ..."
Abstract - Add to MetaCart
is a polymorphic human enzyme with malate

Perspective An Online Bioinformatics Curriculum

by David B. Searls
"... Abstract: Online learning initia-tives over the past decade have become increasingly comprehen-sive in their selection of courses and sophisticated in their presen-tation, culminating in the recent announcement of a number of consortium and startup activities that promise to make a university educat ..."
Abstract - Add to MetaCart
Abstract: Online learning initia-tives over the past decade have become increasingly comprehen-sive in their selection of courses and sophisticated in their presen-tation, culminating in the recent announcement of a number of consortium and startup activities that promise to make a university education on the internet, free of charge, a real possibility. At this pivotal moment it is appropriate to explore the potential for obtaining comprehensive bioinformatics training with currently existing free video resources. This article pre-sents such a bioinformatics curric-ulum in the form of a virtual course catalog, together with editorial commentary, and an assessment of strengths, weaknesses, and likely future directions for open online learning in this field. Online Learning Comes of Age Online academic ‘‘courseware’ ’ at the university level has now been available to the public for a decade, the earliest concerted effort having originated in 2002 with the Massachusetts Institute of Technology (MIT) and their OpenCour-seWare initiative

Acknowledgements

by Alejandro Houspanossian, Facultad De Ciencias Exactas , 2006
"... First, I would like to thank to Dimka Karastoyanova and Mariano Cilia for all the fruitful discussions, their guidance and support through the course of this project. Thanks also to Prof. Alejandro Buchmann who sponsored my stay at Technische Universität Darmstadt during the spring of 2004. The spec ..."
Abstract - Add to MetaCart
First, I would like to thank to Dimka Karastoyanova and Mariano Cilia for all the fruitful discussions, their guidance and support through the course of this project. Thanks also to Prof. Alejandro Buchmann who sponsored my stay at Technische Universität Darmstadt during the spring of 2004. The special thanks go to my advisor, Mariano Cilia, who has made all this possible. Finally, I’d like to thank to my family for all these years of support.

RICE UNIVERSITY Regime Change: Sampling Rate vs. Bit-Depth in Compressive Sensing

by Jason Noah Laska , 2011
"... The compressive sensing (CS) framework aims to ease the burden on analog-to-digital converters (ADCs) by exploiting inherent structure in natural and man-made signals. It has been demon-strated that structured signals can be acquired with just a small number of linear measurements, on the order of t ..."
Abstract - Add to MetaCart
The compressive sensing (CS) framework aims to ease the burden on analog-to-digital converters (ADCs) by exploiting inherent structure in natural and man-made signals. It has been demon-strated that structured signals can be acquired with just a small number of linear measurements, on the order of the signal complexity. In practice, this enables lower sampling rates that can be more easily achieved by current hardware designs. The primary bottleneck that limits ADC sam-pling rates is quantization, i.e., higher bit-depths impose lower sampling rates. Thus, the decreased sampling rates of CS ADCs accommodate the otherwise limiting quantizer of conventional ADCs. In this thesis, we consider a different approach to CS ADC by shifting towards lower quantizer bit-depths rather than lower sampling rates. We explore the extreme case where each measurement is quantized to just one bit, representing its sign. We develop a new theoretical framework to analyze this extreme case and develop new algorithms for signal reconstruction from such coarsely quantized measurements. The 1-bit CS framework leads us to scenarios where it may be more appropriate to reduce bit-depth instead of sampling rate. We find that there exist two distinct regimes of operation that correspond to high/low signal-to-noise ratio (SNR). In the measurement
Next 10 →
Results 1 - 10 of 13
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