• 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 490
Next 10 →

a.a. 2005/06

by Facoltà Di Ingegneria, Fabio Viola /iam, I. Introduzione
"... L’obiettivo di quest’elaborato è creare le basi teoriche e tecniche per l’implementazione di un sistema di misura di posizione basato su telecamere per il NAVLAB. Tale sistema viene primariamente concepito come strumento atto a fornire in tempo reale le posizioni di un insieme di veicoli autonomi li ..."
Abstract - Add to MetaCart
L’obiettivo di quest’elaborato è creare le basi teoriche e tecniche per l’implementazione di un sistema di misura di posizione basato su telecamere per il NAVLAB. Tale sistema viene primariamente concepito come strumento atto a fornire in tempo reale le posizioni di un insieme di veicoli autonomi

Analysis of the Convergence and Generalization of AA1

by Christophe Giraud-Carrier, Tony Martinez - JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING , 1995
"... AA1 is an incremental learning algorithm for Adaptive Self-Organizing Concurrent Systems (ASOCS). ASOCS are self-organizing, dynamically growing networks of computing nodes. AA1 learns by discrimination and implements knowledge in a distributed fashion over all the nodes. This paper reviews AA1 from ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
from the perspective of convergence and generalization. A formal proof that AA1 converges on any arbitrary Boolean instance set is given. A discussion of generalization and other aspects of AA1, including the problem of handling inconsistency, follows. Results of simulations with real-world data

A sum-division estimate of reals

by Liangpan Li, Jian Shen - Proc. Amer. Math. Soc
"... Abstract. Let A be a finite set of positive real numbers. We present a sumdivision estimate: |A + A | 2 |A/A | ≥ |A|4 4. ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
Abstract. Let A be a finite set of positive real numbers. We present a sumdivision estimate: |A + A | 2 |A/A | ≥ |A|4 4.

On the size of the set A(A + 1)

by Moubariz Z. Garaev, Chun-yen Shen , 2008
"... Let Fp be the field of a prime order p. For a subset A ⊂ Fp we consider the product set A(A + 1). This set is an image of A × A under the polynomial mapping f(x,y) = xy + x: Fp × Fp → Fp. In the present note we show that if |A | < p 1/2, then If |A |> p 2/3, then we prove that |A(A + 1) | ≥ ..."
Abstract - Cited by 4 (2 self) - Add to MetaCart
) | ≥ |A | 106/105+o(1). |A(A + 1) | ≫ √ p |A| and show that this is the optimal in general settings bound up to the implied constant. We also estimate the cardinality of A(A + 1) when A is a subset of real numbers. We show that in this case one has the Elekes type bound |A(A + 1) | ≫ |A | 5/4.

ASSESSMENT OF USAGE OF REAL-TIME CLIMATIC DATA AND INFORMATION TO THE PUBLIC AND PRIVATE SECTOR

by University Of Illinois, Wayne M. Wendl, Stanley A. Changnon , 1986
"... Contract COMM NA85AA-D-MC-056 ..."
Abstract - Add to MetaCart
Contract COMM NA85AA-D-MC-056

Persuasive Prediction of Concurrency Access Anomalies

by Jeff Huang, Charles Zhang
"... Predictive analysis is a powerful technique that exposes concurrency bugs in un-exercised program executions. However, current predictive analysis approaches lack the persuasiveness property as they offer little assistance in helping programmers fully understand the execution history that triggers t ..."
Abstract - Cited by 10 (3 self) - Add to MetaCart
” that deterministically instruct the input program to exercise the predicted AAs. The key ingredient of PECAN is an efficient offline schedule generation algorithm, with proof of the soundness, that guarantees to generate a feasible schedule for every real AA in programs that use locks in a nested way. We evaluate PECAN

AA307 AA307 MEASUREMENT AND DISCLOSURE II (2AUs)

by unknown authors
"... This course emphasises the important economic role of accounting numbers in facilitating contracts and providing financial information to capital markets for the analysis and valuation of business entities. It builds on concepts learned in earlier accounting, economics and finance courses. In this c ..."
Abstract - Add to MetaCart
. In this course, students will enhance their skills in applying accounting concepts and using accounting procedures in real-world business situations. Included in the course are expanded discussions of recent developments in the accounting profession and practice, such as accounting for compound financial

An Embedded Accelerator for Real World Computing

by R. W. Hartenstein, J. Becker, M. Herz, U. Nageldinger - Proceedings of IFIP International Conference on Very Large Scale Integration, VLSI’97
"... This paper presents a new general purpose accelerator based on the Kress ALU Array III (KrAA-III)- a novel field programmable ALU array (FPAA), which efficiently supports high performance arithmetic computations by massive pipelining. The KrAA-III and its underlying concepts will be introduced as a ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
This paper presents a new general purpose accelerator based on the Kress ALU Array III (KrAA-III)- a novel field programmable ALU array (FPAA), which efficiently supports high performance arithmetic computations by massive pipelining. The KrAA-III and its underlying concepts will be introduced as a

The functions and effects of real world contextual framing in A/AS pure mathematics questions: developing an evaluative framework

by Chris Little
"... This paper reports on ongoing research into real world contextual framing (RWCF) in A/AS mathematics. After a review of research into real world contexts in mathematics, it discusses its possible effects, for example applicability, motivation, teaching modelling skills, and providing a mental scaffo ..."
Abstract - Add to MetaCart
This paper reports on ongoing research into real world contextual framing (RWCF) in A/AS mathematics. After a review of research into real world contexts in mathematics, it discusses its possible effects, for example applicability, motivation, teaching modelling skills, and providing a mental

E. Kesseler, A.A. ten Dam, R.P. van Sterkenburg and

by E. Kesseler, A. A. Ten Dam, R. P. Van Sterkenburg, E. Sluis, Nationaal Lucht- Ruimtevaartlaboratorium , 2000
"... Making distributed real-time simulations work ..."
Abstract - Add to MetaCart
Making distributed real-time simulations work
Next 10 →
Results 1 - 10 of 490
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