Results 1  10
of
947
An Extended Set of Fortran Basic Linear Algebra Subprograms
 ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE
, 1986
"... This paper describes an extension to the set of Basic Linear Algebra Subprograms. The extensions are targeted at matrixvector operations which should provide for efficient and portable implementations of algorithms for high performance computers. ..."
Abstract

Cited by 523 (68 self)
 Add to MetaCart
This paper describes an extension to the set of Basic Linear Algebra Subprograms. The extensions are targeted at matrixvector operations which should provide for efficient and portable implementations of algorithms for high performance computers.
Data Exchange: Semantics and Query Answering
 In ICDT
, 2003
"... Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema that reflects the source data as accurately as possible. In this paper, we address foundational and algorithmic issues related to the semantics of data exchange and to query answe ..."
Abstract

Cited by 427 (41 self)
 Add to MetaCart
answering in the context of data exchange. These issues arise because, given a source instance, there may be many target instances that satisfy the constraints of the data exchange problem. We give an algebraic specification that selects, among all solutions to the data exchange problem, a special class
Intelligent Tutoring Goes to School in the Big City
 International Journal of Artificial Intelligence in Education
, 1997
"... Abstract. This paper reports on a largescale experiment introducing and evaluating intelligent tutoring in an urban High School setting. Critical to the success of this project has been a clientcentered design approach that has matched our client's expertise in curricular objectives and class ..."
Abstract

Cited by 421 (118 self)
 Add to MetaCart
and classroom teaching with our expertise in artificial intelligence and cognitive psychology. The Pittsburgh Urban Mathematics Project (PUMP) has produced an algebra curriculum that is centrally focused on mathematical analysis of real world situations and the use of computational tools. We have built
Summing the Instantons: Quantum Cohomology and Mirror Symmetry in Toric Varieties
, 1995
"... We use the gauged linear sigma model introduced by Witten to calculate instanton expansions for correlation functions in topological sigma models with target space a toric variety V or a Calabi–Yau hypersurface M ⊂ V. In the linear model the instanton moduli spaces are relatively simple objects and ..."
Abstract

Cited by 162 (14 self)
 Add to MetaCart
We use the gauged linear sigma model introduced by Witten to calculate instanton expansions for correlation functions in topological sigma models with target space a toric variety V or a Calabi–Yau hypersurface M ⊂ V. In the linear model the instanton moduli spaces are relatively simple objects
Algebra and Twisted Algebra in Toroidal Target Space
, 1996
"... Target space duality is reconsidered from the viewpoint of quantization in a space with nontrivial topology. An algebra of operators for the toroidal bosonic string is defined and its representations are constructed. It is shown that there exist an infinite number of inequivalent quantizations, whic ..."
Abstract
 Add to MetaCart
Target space duality is reconsidered from the viewpoint of quantization in a space with nontrivial topology. An algebra of operators for the toroidal bosonic string is defined and its representations are constructed. It is shown that there exist an infinite number of inequivalent quantizations
Algebraic implementation of model checking algorithms
 In Third AMAST Workshop on RealTime Systems, Proceedings
, 1996
"... We describe an algebraic methodology for implementing model checking algorithms. In this methodology temporal logic formulas are seen as phrases of a source language Ls and the sets of states of a as elements of an algebra of sets called the target language, Lt. Thus, the model checker becomes an a ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
We describe an algebraic methodology for implementing model checking algorithms. In this methodology temporal logic formulas are seen as phrases of a source language Ls and the sets of states of a as elements of an algebra of sets called the target language, Lt. Thus, the model checker becomes
Integrals for braided Hopf algebras
 J. Pure Appl. Algebra
, 2000
"... Let H be a Hopf algebra in a rigid braided monoidal category with split idempotents. We prove the existence of integrals on (in) H characterized by the universal property, employing results about Hopf modules, and show that their common target (source) object IntH is invertible. The fully braided ve ..."
Abstract

Cited by 29 (3 self)
 Add to MetaCart
Let H be a Hopf algebra in a rigid braided monoidal category with split idempotents. We prove the existence of integrals on (in) H characterized by the universal property, employing results about Hopf modules, and show that their common target (source) object IntH is invertible. The fully braided
Target Calibration and Tracking Using Conformal Geometric Algebra
"... Abstract. This paper is about realtime refinement of the 3D positions of a large number of stationary pointtargets from a sequence of 2D images which are taken by a handheld, calibrated camera group. To cope with the large data quantity arriving rapidly, an efficient iterative algorithm was devel ..."
Abstract
 Add to MetaCart
Abstract. This paper is about realtime refinement of the 3D positions of a large number of stationary pointtargets from a sequence of 2D images which are taken by a handheld, calibrated camera group. To cope with the large data quantity arriving rapidly, an efficient iterative algorithm
Application of Lie Algebras to Visual Servoing
 International Journal of Computer Vision
, 1999
"... A novel approach to visual servoing is presented, which takes advantage of the structure of the Lie algebra of ane transformations. The aim of this project is to use feedback from a visual sensor to guide a robot arm to a target position. The target position is learned using the principle of `teachi ..."
Abstract

Cited by 29 (3 self)
 Add to MetaCart
A novel approach to visual servoing is presented, which takes advantage of the structure of the Lie algebra of ane transformations. The aim of this project is to use feedback from a visual sensor to guide a robot arm to a target position. The target position is learned using the principle
System F with type equality coercions
, 2007
"... We introduce System FC, which extends System F with support for nonsyntactic type equality. There are two main extensions: (i) explicit witnesses for type equalities, and (ii) open, nonparametric type functions, given meaning by toplevel equality axioms. Unlike System F, FC is expressive enough to ..."
Abstract

Cited by 109 (27 self)
 Add to MetaCart
to serve as a target for several different sourcelanguage features, including Haskell’s newtype, generalised algebraic data types, associated types, functional dependencies, and perhaps more besides.
Results 1  10
of
947