Results 1  10
of
5,619
A precise description of the ACL2 logic
, 1997
"... The ACL2 logic is a rstorder, essentially quantierfree logic of total recursive functions providing mathematical induction and several extension principles, including symbol package denition and recursive function denition. In this document we describe the logic more precisely. 1 ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
The ACL2 logic is a rstorder, essentially quantierfree logic of total recursive functions providing mathematical induction and several extension principles, including symbol package denition and recursive function denition. In this document we describe the logic more precisely. 1
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
 IEEE Transactions on Software Engineering
, 1990
"... This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of iLogix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, in tended for the specification, analysis, d ..."
Abstract

Cited by 485 (7 self)
 Add to MetaCart
, design, and documentation of large and complex reactive systems, such as realtime embedded sys tems, control and communication systems, and interactive software or hardware. It enables a user to prepare, analyze, and debug diagram matic, yet precise, descriptions of the system under development from
An Introduction to the Kalman Filter
 UNIVERSITY OF NORTH CAROLINA AT CHAPEL HILL
, 1995
"... In 1960, R.E. Kalman published his famous paper describing a recursive solution to the discretedata linear filtering problem. Since that time, due in large part to advances in digital computing, the Kalman filter has been the subject of extensive research and application, particularly in the area o ..."
Abstract

Cited by 1146 (13 self)
 Add to MetaCart
estimations of past, present, and even future states, and it can do so even when the precise nature of the modeled system is unknown.
The purpose of this paper is to provide a practical introduction to the discrete Kalman filter. This introduction includes a description and some discussion of the basic
Mathematical Control Theory: Deterministic Finite Dimensional Systems
 of Texts in Applied Mathematics
, 1990
"... The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics in contro ..."
Abstract

Cited by 485 (121 self)
 Add to MetaCart
The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics
The PHANToM haptic interface: A device for probing virtual objects
 Proceedings of the ASME Dynamic Systems and Control Division
, 1994
"... This paper describes the PHANTOM haptic interface a device which measures a user’s finger tip position and exerts a precisely controlled force vector on the finger tip. The device has enabled users to interact with and feel a wide variety of virtual objects and will be used for control of remote ma ..."
Abstract

Cited by 448 (4 self)
 Add to MetaCart
This paper describes the PHANTOM haptic interface a device which measures a user’s finger tip position and exerts a precisely controlled force vector on the finger tip. The device has enabled users to interact with and feel a wide variety of virtual objects and will be used for control of remote
A precise description of the padic valuation of the number of alternating sign matrices
, 2009
"... ..."
A PRECISE DESCRIPTION OF LONGITUDINAL MOTION WITH SYNCHROTRON RADIATION MODELLED BY “FAT PHOTONS”
"... The equilibrium longitudinal motion of electrons emitting radiation in a synchrotron is well established, but less so the turnbyturn dynamics. It is customary to divide the true photon emission into a smooth, continuous radiation loss and a stochastic quantum excitation with zero mean. We offer[3, ..."
Abstract
 Add to MetaCart
The equilibrium longitudinal motion of electrons emitting radiation in a synchrotron is well established, but less so the turnbyturn dynamics. It is customary to divide the true photon emission into a smooth, continuous radiation loss and a stochastic quantum excitation with zero mean. We offer[3, 4, 5] the following improvements over previous treatments. (I) Exact equations are given for the smooth part including the exponential “saw tooth ” of the reference particle, and some other second order effects. (II) The stochastic part of the per turn cumulative energy loss is not gaussian distributed. Using the TchebychevHermite expansion about a gaussian kernel we give the true distribution. The technique is general and can be applied to the multiple selfconvolution of any distribution function. (III) We give the effects, during the turn in which they are emitted, upon the phase advance of emitting multiple photons. 1
Blobworld: A System for RegionBased Image Indexing and Retrieval
 In Third International Conference on Visual Information Systems
, 1999
"... . Blobworld is a system for image retrieval based on finding coherent image regions which roughly correspond to objects. Each image is automatically segmented into regions ("blobs") with associated color and texture descriptors. Querying is based on the attributes of one or two regions of ..."
Abstract

Cited by 375 (4 self)
 Add to MetaCart
of interest, rather than a description of the entire image. In order to make largescale retrieval feasible, we index the blob descriptions using a tree. Because indexing in the highdimensional feature space is computationally prohibitive, we use a lowerrank approximation to the highdimensional distance
Fuzzy identitybased encryption
 In EUROCRYPT
, 2005
"... We introduce a new type of IdentityBased Encryption (IBE) scheme that we call Fuzzy IdentityBased Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. A Fuzzy IBE scheme allows for a private key for an identity, ω, to decrypt a ciphertext encrypted with an identity, ω ′ , ..."
Abstract

Cited by 377 (20 self)
 Add to MetaCart
We introduce a new type of IdentityBased Encryption (IBE) scheme that we call Fuzzy IdentityBased Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. A Fuzzy IBE scheme allows for a private key for an identity, ω, to decrypt a ciphertext encrypted with an identity, ω
Specification Matching of Software Components
 ACM Transactions on Software Engineering and Methodology
, 1996
"... Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit the requ ..."
Abstract

Cited by 358 (4 self)
 Add to MetaCart
Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit
Results 1  10
of
5,619