83,491 Hits in 4.7 sec

Formal Analysis of a Distributed Algorithm for Tracking Progress [chapter]

Martín Abadi, Frank McSherry, Derek G. Murray, Thomas L. Rodeheffer
2013 Lecture Notes in Computer Science  
Tracking the progress of computations can be both important and delicate in distributed systems.  ...  In a recent distributed algorithm for this purpose, each processor maintains a delayed view of the pending work, which is represented in terms of points in virtual time.  ...  We are grateful to Paul Barham, Damien Doligez, Rebecca Isaacs, Michael Isard, Leslie Lamport, and Stephan Merz for discussions about Naiad, the progress tracking protocol, and the TLA proof system.  ... 
doi:10.1007/978-3-642-38592-6_2 fatcat:o3spo32egvh7loveczorolpvty

Plastic transformations: A method for building dependable distributed applications

G.-C. Roman, J.C. Hu
1998 IEE Proceedings - Software  
This paper provides a possible characterisation of the notion of a plastic transformation and discusses ways in which wellestablished, correct distributed algorithms can be transformed into specific applications  ...  Distributed algorithms and the heuristics used by program derivation methods represent a large repository of fundamental knowledge that has been acquired over the years by the distributed computing community  ...  When the cart receives a new piece of baggage, which is scanned for a destination, the current track automatically receives a request for a path to it. This initiates the search algorithm.  ... 
doi:10.1049/ip-sen:19985864 fatcat:2kk5z67stzbwvpxighw2zmolge

Application of Kalman filtering to track and vertex fitting

R. Frühwirth
1987 Nuclear Instruments and Methods in Physics Research Section A : Accelerators, Spectrometers, Detectors and Associated Equipment  
Uncorrelated outliers have in principle a flat distribution in the whole detector volume; in practice their distribution is imposed by the selection mechanism of the track finding algorithm.  ...  Finally, for the interested reader, the detection of outliers is investigated in a formal way in section 5.  ...  p (n, A.,a) = Ig(n, A.; x) dx c In order to compute p, we develop 9 (n, A.; x) into a (uniformly convergent) series of central 'l density functions [10] :  ... 
doi:10.1016/0168-9002(87)90887-4 fatcat:ozkexkvshjdnxfwkub4dj66drq

Teacher algorithms for curriculum learning of Deep RL in continuously parameterized environments [article]

Rémy Portelas, Cédric Colas, Katja Hofmann, Pierre-Yves Oudeyer
2019 arXiv   pre-print
We present a new algorithm modeling absolute learning progress with Gaussian mixture models (ALP-GMM). We also adapt existing algorithms and provide a complete study in the context of DRL.  ...  We consider the problem of how a teacher algorithm can enable an unknown Deep Reinforcement Learning (DRL) student to become good at a skill over a wide range of diverse environments.  ...  For short agents, Random always end-up mastering 0% of the track distributions of the test set, except for a single run that is able to master 3 track distributions (6%).  ... 
arXiv:1910.07224v1 fatcat:2lfkj5aj7jewjiz6lugjzhhtyy


Oliviu C. Ghica, Goce Trajcevski, Peter Scheuermann, Zachary Bischof, Nikolay Valtchanov
2008 Proceedings of the 6th ACM conference on Embedded network sensor systems - SenSys '08  
, scheduling, progress tracking and implementation.  ...  System Analyst & Software Engineer • Developed core infrastructure for a secure, scalable and high-performance distributed flow control system for a large scale service-oriented system.  ... 
doi:10.1145/1460412.1460464 dblp:conf/sensys/GhicaTSBV08 fatcat:hkzylkzw5vafzakjfthaizb3ky

Soft Tissue Tracking for Minimally Invasive Surgery: Learning Local Deformation Online [chapter]

Peter Mountney, Guang-Zhong Yang
2008 Lecture Notes in Computer Science  
It makes no assumptions about the type of image transformations and visual characteristics, and is updated continuously as the tracking progresses.  ...  The purpose of this paper is to present an online learning based feature tracking method suitable for in vivo applications.  ...  (a,c,e,g,i) Example frames taken from in vivo data available at [14] , (b,d,f,h,j) the associated quantitative analysis results of the tracking algorithms.  ... 
doi:10.1007/978-3-540-85990-1_44 fatcat:kq2b7bifmjbavjkcj3q7barvqa

Random Dynamics Optimum Tracking with Evolution Strategies [chapter]

Dirk V. Arnold, Hans-Georg Beyer
2002 Lecture Notes in Computer Science  
In this paper, tools devised originally for the analysis in static environments are applied to study the performance of a popular type of recombinative evolution strategy with cumulative mutation strength  ...  Dynamic optimization is frequently cited as a prime application area for evolutionary algorithms.  ...  The publication of the work was also supported by the DFG as part of the Collaborative Research Center \Computational Intelligence" (SFB 531). Hans-Georg Beyer is a Heisenberg Fellow of the DFG.  ... 
doi:10.1007/3-540-45712-7_1 fatcat:4ee6qzmoqbh73nyc72bs7wle4y

Measuring Saccade Latency using Smartphone Cameras

Hsin-Yu Lai, Gladyney Saavedra-Pena, Charles G. Sodini, Vivienne Sze, Thomas Heldt
2019 IEEE journal of biomedical and health informatics  
To enable tracking of saccade latency in large cohorts of patients and control subjects, we combined a deep convolutional neural network for gaze estimation with a model-based approach for saccade onset  ...  Clinical studies have shown that eye movement features may serve as objective biomarkers to support diagnosis and tracking of disease progression.  ...  Lydia Bourouiba of MIT's Fluid Dynamics in Disease Transmission Laboratory and Dr. James Bales of MIT's Edgerton Center for their assistance with the high-speed videography.  ... 
doi:10.1109/jbhi.2019.2913846 pmid:31056528 fatcat:ygykh33eqvcfnhmeyq56gbi3mm

Multiple Player Tracking in Sports Video: A Dual-Mode Two-Way Bayesian Inference Approach With Progressive Observation Modeling

Junliang Xing, Haizhou Ai, Liwei Liu, Shihong Lao
2011 IEEE Transactions on Image Processing  
Multiple object tracking (MOT) is a very challenging task yet of fundamental importance for many practical applications.  ...  For the observation modeling, we develop a progressive observation modeling process that is able to provide strong tracking observations and greatly facilitate the tracking task.  ...  Okuma for providing the training and test data used in [25] and the anonymous reviewers and Prof. L. Younes for their valuable suggestions for improving the quality of this paper.  ... 
doi:10.1109/tip.2010.2102045 pmid:21189238 fatcat:axbua4f3kbch5bszwwnmikiyq4

Elastic net for broken multiple scattered tracks

I. Kisel, V. Kovalenko
1996 Computer Physics Communications  
The elastic net is tested on broken multiple scattered tracks simulated for the NEMO-3 spectrometer out of a magnetic field.  ...  The advantages of the method are simplicity of the algorithm, fast and stable convergence, and reconstruction efficiency close to 100%.  ...  Conclusion The results of testing on simulated NEMO-3 tracks demonstrate reliable performance of the elastic net method in the case of multiple scattering in a gas and  ... 
doi:10.1016/0010-4655(96)00088-4 fatcat:dah26nteindllduhsh2di552n4

Anwendung der Konzeptanalyse und ontologische Modellierung in der Wirtschaftsinformatik: Vorwort [chapter]

Heinz Dreher, Torsten Reiners, Stefan Voß, Robert Williams
2010 Multikonferenz Wirtschaftsinformatik 2010  
Ontologies are an explicit, formal specification of common conceptual classification schemes and generally describe a hierarchy of concepts using a subsumption relation.  ...  One popular approach for progressing issues relating to concept 'understanding' being used in recent times is ontology based.  ...  Acknowledgement We greatly appreciate the support that we received from the following members of the program committee of our track: Christian Gütl (Graz, Austria), Felix Mödritscher (Vienna, Austria),  ... 
doi:10.17875/gup2010-1365 fatcat:oawhx26j75hyljti7vih6oumc4

Graph Grammar Based Object Detecting and Tracking

Yuqing Song, Dongpeng Yue, Shaoqing Mo
2013 International Journal of Intelligent Engineering and Systems  
All key points, as well as the colors and the tangent directions, are fed to a Kalman filter for object tracking.  ...  Our tracking algorithm consists of two phases: key points tracking and tracking by graph grammar rules. The key points are computed by using salient level set components.  ...  Acknowledgment This research was supported by Natural Science Foundation of China under contracts No. 61070112 and  ... 
doi:10.22266/ijies2013.0331.02 fatcat:4rdyzuuvlbb3fhabcotdwze3ne

Mathematical Tools of Soft Computing 2014

Ker-Wei Yu, Yang Xu, Jer-Guang Hsieh
2015 Mathematical Problems in Engineering  
Tourist distribution, a vector reflecting the tourist number of scenic spots in a certain period of time, serves as the foundation for a scenic spot manager to make a schedule scheme.  ...  Based on these conditions, the algorithms of generating lattice-valued congener formal context and establishing concept lattice are developed, by which one can construct algorithms for lattice-valued concept  ...  Acknowledgments We wish to express our sincere appreciation to the authors for their excellent contributions. The hard work of all reviewers is greatly acknowledged.  ... 
doi:10.1155/2015/234176 fatcat:wswu5kwc35d3xedlkbtycstrum

CAmI: An Agent Oriented-Language for the Collective Development of AmI Environments

Marius-Tudor Benea, Adina Magda Florea, Amal El Fallah Seghrouchni
2015 2015 20th International Conference on Control Systems and Computer Science  
A series of distribution platforms as well as a collection of shared knowledge libraries are used, to motivate the human actors to contribute, leading, thus, to environments that integrate in the best  ...  This work introduces CAmIE, an agent-based model for the bottom-up development of large-scale AmI environments.  ...  The validation of the CAmIE model is a work in progress.  ... 
doi:10.1109/cscs.2015.136 dblp:conf/cscs/BeneaFF15 fatcat:uycm6njuorh2xgt5fja6t3zvke

Dimensionality reduction for EEG classification using Mutual Information and SVM

Carlos Guerrero-Mosquera, Michel Verleysen, Angel Navia Vazquez
2011 2011 IEEE International Workshop on Machine Learning for Signal Processing  
Dimensionality reduction is a well known technique in signal processing oriented to improve both the computational cost and the performance of classifiers.  ...  Our results show that feature extraction and dimension reduction could be considered as a new alternative for solving EEG classification problems.  ...  METHODS EEG feature extraction: related work More formally, feature extraction assumes we have for N samples and D features, a N × D data matrix.  ... 
doi:10.1109/mlsp.2011.6064595 dblp:conf/mlsp/Guerrero-Mosquera11 fatcat:kcam55cnxbgyffrvfr3z765l44
« Previous Showing results 1 — 15 out of 83,491 results