• 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 14,844
Next 10 →

SPARSKIT: a basic tool kit for sparse matrix computations - Version 2

by Youcef Saad , 1994
"... . This paper presents the main features of a tool package for manipulating and working with sparse matrices. One of the goals of the package is to provide basic tools to facilitate exchange of software and data between researchers in sparse matrix computations. Our starting point is the Harwell/Boei ..."
Abstract - Cited by 314 (22 self) - Add to MetaCart
. This paper presents the main features of a tool package for manipulating and working with sparse matrices. One of the goals of the package is to provide basic tools to facilitate exchange of software and data between researchers in sparse matrix computations. Our starting point is the Harwell

The Basic Tools of Formal Ontology

by Barry Smith - Formal Ontology in Information Systems , 1998
"... The term ‘formal ontology ’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follo ..."
Abstract - Cited by 36 (2 self) - Add to MetaCart
follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. These basic concepts are presented in relation to the problem of providing an account of the formal

Basic Tools for Linear Algebra

by Are Magnus Bruaset, Hans Petter Langtangen - In Numerical Methods and Software Tools in Industrial Mathematics, M. Daehlen and
"... In this chapter we discuss how object-oriented techniques can be applied in the design and implementation of a software library for linear algebra computations. 1.1 Introduction The basic concepts in linear algebra, such as vectors and matrices, are of fundamental importance to most applications ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
In this chapter we discuss how object-oriented techniques can be applied in the design and implementation of a software library for linear algebra computations. 1.1 Introduction The basic concepts in linear algebra, such as vectors and matrices, are of fundamental importance to most

Basic Tools for Fuzzy Modeling

by Heribert Kirschfink, Karl Lieven
"... ABSTRACT: The lesson will begin with the basics of fuzzy set theory. Fuzzy set theory was first introduced in 1965 by Lotfi A. Zadeh [Zadeh 1965]. It may be regarded both as a generalization of classical set theory and as a generalization of dual logic. In knowledge-based methods, fuzzy sets are emp ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
ABSTRACT: The lesson will begin with the basics of fuzzy set theory. Fuzzy set theory was first introduced in 1965 by Lotfi A. Zadeh [Zadeh 1965]. It may be regarded both as a generalization of classical set theory and as a generalization of dual logic. In knowledge-based methods, fuzzy sets

DATABASE- BUILDING THE BASIC TOOLS

by Mitchell R. Rosen, Xiao-yun (willie Jiang
"... In support of research projects both within the Munsell Color Science Laboratory and outside which rely on having full knowledge of the spectral makeup of scenes, a number of methods for capturing spectral images are being explored. This project is named Lippmann2000 in honor of Gabriel Lippmann who ..."
Abstract - Add to MetaCart
In support of research projects both within the Munsell Color Science Laboratory and outside which rely on having full knowledge of the spectral makeup of scenes, a number of methods for capturing spectral images are being explored. This project is named Lippmann2000 in honor of Gabriel Lippmann who in 1891 devised a method to perfectly reconstruct the spectral content of real world scenes. In spite of Lippmann’s invention, a more primitive three-channel model, first demonstrated by James Clerk Maxwell 30 years prior, has dominated the color imaging field. The Maxwellian model, universal in today’s silver halide and electronic color image capture systems, relies on the metameric properties of the human visual system to simulate the appearance of an original color. It has been recognized by those in the forefront of imaging research that the capture of full spectral data holds advantage over traditional three-channel methods. This paper describes our efforts to-date to build our database of spectral images.

Linear pattern matching algorithms

by Peter Weiner - IN PROCEEDINGS OF THE 14TH ANNUAL IEEE SYMPOSIUM ON SWITCHING AND AUTOMATA THEORY. IEEE , 1972
"... In 1970, Knuth, Pratt, and Morris [1] showed how to do basic pattern matching in linear time. Related problems, such as those discussed in [4], have previously been solved by efficient but sub-optimal algorithms. In this paper, we introduce an interesting data structure called a bi-tree. A linear ti ..."
Abstract - Cited by 546 (0 self) - Add to MetaCart
time algorithm for obtaining a compacted version of a bi-tree associated with a given string is presented. With this construction as the basic tool, we indicate how to solve several pattern matching problems, including some from [4], in linear time.

Intrinsic statistics on Riemannian manifolds: Basic tools for geometric measurements

by Xavier Pennec , 1999
"... Measurements of geometric primitives, such as rotations or rigid transformations, are often noisy and we need to use statistics either to reduce the uncertainty or to compare measurements. Unfortunately, geometric primitives often belong to manifolds and not vector spaces. We have already shown [9] ..."
Abstract - Cited by 202 (24 self) - Add to MetaCart
] that generalizing too quickly even simple statistical notions could lead to paradoxes. In this article, we develop some basic probabilistic tools to work on Riemannian manifolds: the notion of mean value, covariance matrix, normal law, Mahalanobis distance and χ² test. We also present an efficient algorithm

Pin: building customized program analysis tools with dynamic instrumentation

by Chi-keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, Kim Hazelwood - IN PLDI ’05: PROCEEDINGS OF THE 2005 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION , 2005
"... Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin. Our goals are to provide easy-to-use, portable, transparent, and eff ..."
Abstract - Cited by 991 (35 self) - Add to MetaCart
delivers significantly better instrumentation performance than similar tools. For example, Pin is 3.3x faster than Valgrind and 2x faster than DynamoRIO for basic-block counting. To illustrate Pin’s versatility, we describe two Pintools in daily use to analyze production software. Pin is publicly available

lmbench: Portable Tools for Performance Analysis

by Carl Staelin, Hewlett-packard Laboratories - In USENIX Annual Technical Conference , 1996
"... lmbench: Portable tools for performance analysis lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software development, and networking. In almost all cases, the individual tests are the res ..."
Abstract - Cited by 464 (2 self) - Add to MetaCart
lmbench: Portable tools for performance analysis lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software development, and networking. In almost all cases, the individual tests

Overview of the scalable video coding extension of the H.264/AVC standard

by Heiko Schwarz, Detlev Marpe, Thomas Wiegand - IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY IN CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY , 2007
"... With the introduction of the H.264/AVC video coding standard, significant improvements have recently been demonstrated in video compression capability. The Joint Video Team of the ITU-T VCEG and the ISO/IEC MPEG has now also standardized a Scalable Video Coding (SVC) extension of the H.264/AVC stand ..."
Abstract - Cited by 522 (6 self) - Add to MetaCart
relative to the scalable profiles of prior video coding standards. This paper provides an overview of the basic concepts for extending H.264/AVC towards SVC. Moreover, the basic tools for providing temporal, spatial, and quality scalability are described in detail and experimentally analyzed regarding
Next 10 →
Results 1 - 10 of 14,844
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