Sciweavers

2449 search results - page 260 / 490
» Tensor Embedding Methods
Sort
View
ICPR
2006
IEEE
16 years 4 days ago
Object Tracking Using Globally Coordinated Nonlinear Manifolds
We present a dynamic inference algorithm in a globally parameterized nonlinear manifold and demonstrate it on the problem of visual tracking. An appearance manifold is usually non...
Che-Bin Liu, Ming-Hsuan Yang, Narendra Ahuja, Ruei...
97
Voted
DAC
2000
ACM
16 years 15 hour ago
Function-level power estimation methodology for microprocessors
We have developed a function-level power estimation methodology for predicting the power dissipation of embedded software. For a given microprocessor core, we empirically build th...
Gang Qu, Naoyuki Kawabe, Kimiyoshi Usami, Miodrag ...
ICDS
2010
IEEE
15 years 6 months ago
e-Fraud Prevention Based on the Self-Authentication of e-Documents
—We consider a method for preventing e-Fraud in which a binary image is encrypted with a floating point cipher using a convolution operation and the output quantized into a 1-bi...
J. M. Blackledge, E. Coyle
74
Voted
FM
2009
Springer
123views Formal Methods» more  FM 2009»
15 years 5 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
JTRES
2009
ACM
15 years 5 months ago
On transforming Java-like programs into memory-predictable code
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
Diego Garbervetsky, Sergio Yovine, Víctor A...