Sciweavers

5810 search results - page 348 / 1162
» An Approach to Programming Based on Concepts
Sort
View
LISP
2008
70views more  LISP 2008»
15 years 6 months ago
Program transformations for light-weight CPU accounting and control in the Java virtual machine
This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the ...
Jarle Hulaas, Walter Binder
JMLR
2006
175views more  JMLR 2006»
15 years 6 months ago
Learning Sparse Representations by Non-Negative Matrix Factorization and Sequential Cone Programming
We exploit the biconvex nature of the Euclidean non-negative matrix factorization (NMF) optimization problem to derive optimization schemes based on sequential quadratic and secon...
Matthias Heiler, Christoph Schnörr
ICMCS
2006
IEEE
143views Multimedia» more  ICMCS 2006»
16 years 20 days ago
Person Tracking in Smart Rooms using Dynamic Programming and Adaptive Subspace Learning
We present a robust vision system for single person tracking inside a smart room using multiple synchronized, calibrated, stationary cameras. The system consists of two main compo...
ZhenQiu Zhang, Gerasimos Potamianos, Stephen M. Ch...
EMSOFT
2004
Springer
16 years 1 days ago
Loose synchronization of event-triggered networks for distribution of synchronous programs
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
Jan Romberg, Andreas Bauer 0002
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl