Filters








875 Hits in 6.4 sec

Robust Method of Vote Aggregation and Proposition Verification for Invariant Local Features

Grzegorz Kurzejamski, Jacek Zawistowski, Grzegorz Sarwas
<span title="">2015</span> <i title="SCITEPRESS - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tyl5kfigejfehnouax7r3tii24" style="color: black;">Proceedings of the 10th International Conference on Computer Vision Theory and Applications</a> </i> &nbsp;
Proposed method comprises of the graphical vote space presentation, the proposition generation, the two-pass iterative vote aggregation and the cascade filters for verification of the propositions.  ...  This paper presents a method for analysis of the vote space created from the local features extraction process in a multi-detection system.  ...  Feature points Our method should be used with conjunction with scale-invariant and rotation-invariant features for the best results.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005267002520259">doi:10.5220/0005267002520259</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/visapp/KurzejamskiZS15.html">dblp:conf/visapp/KurzejamskiZS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vhklssfnqjedhjs2sxgtn6ltka">fatcat:vhklssfnqjedhjs2sxgtn6ltka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200824224452/https://arxiv.org/pdf/1601.00781v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/01/0d01bb12eb5d970d1df175505bcd2aaa1c5c7344.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005267002520259"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Survey on Deep Visual Place Recognition

Carlo Masone, Barbara Caputo
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
These methods can be categorized into two families: • aggregation of the convolutional features using methods derived from hand-crafted representations of local descriptors; • pooling methods that summarize  ...  The main difference between [163] and [164] , besides the aggregation method from the local features, is in the definition of the cluster: a set of non-zero spatially proximal 8-connected activations  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3054937">doi:10.1109/access.2021.3054937</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hc5fp2z4g5fldl7imkt7ixq4z4">fatcat:hc5fp2z4g5fldl7imkt7ixq4z4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429061130/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09336674.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/63/c2/63c26624bfc975192210ad8450cca376a42732e3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3054937"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Image Geo-Localization Based on MultipleNearest Neighbor Feature Matching UsingGeneralized Graphs

Amir Roshan Zamir, Mubarak Shah
<span title="">2014</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3px634ph3vhrtmtuip6xznraqi" style="color: black;">IEEE Transactions on Pattern Analysis and Machine Intelligence</a> </i> &nbsp;
First, we extract local features (e.g., SIFT) from the query image and retrieve a number of nearest neighbors for each query feature from the reference data set.  ...  Our approach to feature matching is based on the proposition that the first nearest neighbors are not necessarily the best choices for finding correspondences in image matching.  ...  [10] leveraged local feature and edge based information along with a geometric consistency verification for object class recognition. Cao et al.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpami.2014.2299799">doi:10.1109/tpami.2014.2299799</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/26353337">pmid:26353337</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d4bfr7si5fb5hczazqvidlmhyu">fatcat:d4bfr7si5fb5hczazqvidlmhyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150510071418/http://crcv.ucf.edu/papers/PAMI_Amir%20Zamir.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/81/5e8172184e60b84f6725e8791541edfe964c4193.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpami.2014.2299799"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Formal Techniques for Synchronized Fault-Tolerant Systems [chapter]

Ben L. Di Vito, Ricky W. Butler
<span title="">1993</span> <i title="Springer Vienna"> Dependable Computing for Critical Applications 3 </i> &nbsp;
The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults.  ...  We present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications.  ...  We are also grateful to John and Sam Owre for the timely assistance given in the use of the EHDM system. We are likewise grateful to Paul Miner of NASA Langley for his careful review of our work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-7091-4009-3_7">doi:10.1007/978-3-7091-4009-3_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xxirbg2vrbbldci2dxgkitysqe">fatcat:xxirbg2vrbbldci2dxgkitysqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815044308/https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20040121140.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/e9/98e91bbe723a51fe210b09b5519fff699e060781.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-7091-4009-3_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A new design of multiple classifier system and its application to the classification of time series data

Lei Chen, Mohamed S. Kamel
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hyrfp4q26bahtlwucwlaapnfwy" style="color: black;">2007 IEEE International Conference on Systems, Man and Cybernetics</a> </i> &nbsp;
Acknowledgments I wish to express sincere thanks to all the people who have provided invaluable help and support in my thesis research.  ...  The argument is that the noise decisions play the same role for the decision aggregation method as the noise features do for the SVM classifier in the example.  ...  In this thesis, Generalized Exhaustive Search and Aggregation (GESA) method is developed for this objective.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsmc.2007.4413686">doi:10.1109/icsmc.2007.4413686</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/smc/ChenK07.html">dblp:conf/smc/ChenK07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eaggre5upbd47jw73izpf55o3m">fatcat:eaggre5upbd47jw73izpf55o3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200309103355/https://uwspace.uwaterloo.ca/bitstream/handle/10012/3284/thesisnew.pdf;jsessionid=1EBF49C07E646781D01DF46942E55C4F?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/52/98/5298e3ddb8ca2f40b67aad2507a76cda71bea6ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsmc.2007.4413686"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Experimentation Using Short-Term Spectral Features for Secure Mobile Internet Voting Authentication

Surendra Thakur, Emmanuel Adetiba, Oludayo O. Olugbara, Richard Millham
<span title="">2015</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wpareqynwbgqdfodcyhh36aqaq" style="color: black;">Mathematical Problems in Engineering</a> </i> &nbsp;
We propose a secure mobile Internet voting architecture based on the Sensus reference architecture and report the experiments carried out using short-term spectral features for realizing the voice biometric  ...  These compact LPCC-HOG features are highly promising for implementing the authentication module of the secure mobile Internet voting architecture we are proposing in this paper.  ...  Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper. Acknowledgment  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2015/564904">doi:10.1155/2015/564904</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jfoq6oun4rb4tk2kgcjedxupa4">fatcat:jfoq6oun4rb4tk2kgcjedxupa4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503183734/http://downloads.hindawi.com/journals/mpe/2015/564904.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f3/1a/f31a3dcc9529936c1c3e1547672098cf4d6947da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2015/564904"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

A Novel Change Detection Framework in Urban Area Using Multi-Level Matching Feature and Automatic Sample Extraction Strategy

Yuanxiu Zhou, Yan Song, Songxue Cui, Haitian Zhu, Jie Sun, Wenjun Qin
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b2n2tpw5ang73osulebz6bm4ju" style="color: black;">IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing</a> </i> &nbsp;
First, a novel multilevel matching feature is presented, combining structural invariant features with multiscale dense matching features to comprehensively describe the invariant properties of ground objects  ...  Urban change detection (CD) using remote sensing images is of great significance for monitoring and analyzing the spatial and temporal distribution of changes within cities, which can be used to guide  ...  from structure and scale level. 1) Structural Invariant Feature: Stable local features like SIFT, SURF, which can capture and present the local geometric structure of images, have been used for CD [24  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jstars.2021.3064311">doi:10.1109/jstars.2021.3064311</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z2qaqs7m2bcpzonmxw7m2uz25u">fatcat:z2qaqs7m2bcpzonmxw7m2uz25u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210716180429/https://ieeexplore.ieee.org/ielx7/4609443/9314330/09372823.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/e3/dae3cd48b930f3490464fbd3e6620e2da5e7fb48.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jstars.2021.3064311"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Enhancing Certifiable Robustness via a Deep Model Ensemble [article]

Huan Zhang, Minhao Cheng, Cho-Jui Hsieh
<span title="2019-10-31">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
RobBoost allows us to further improve certified robustness and clean accuracy by creating an ensemble of already certified models.  ...  Our proposed ensemble framework with certified robustness, RobBoost, formulates the optimal model selection and weighting task as an optimization problem on a lower bound of classification margin, which  ...  For example, voting or bootstrap aggregating (bagging) can be used to improve prediction accuracy in many occasions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.14655v1">arXiv:1910.14655v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o3p5mlgpbvd7pjozf7r5t6xxxy">fatcat:o3p5mlgpbvd7pjozf7r5t6xxxy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200903180239/https://arxiv.org/pdf/1910.14655v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/04/ef042af146283c59fa9e9990ce37df538fc12faa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.14655v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Constrained Dominant sets and Its applications in computer vision [article]

Alemu Leulseged Tesfaye
<span title="2020-02-12">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In the last decades clustering methods have played a vital role in computer vision applications; herein, we focus on the extension, reformulation, and integration of a well-known graph and game theoretic  ...  Thus, we have demonstrated the validity of the proposed methods with extensive experiments which are conducted on several benchmark datasets.  ...  Scale-invariant feature transform (SIFT) [91] based local feature such as Bag of words (BOW) [128] , [65] , [163] , has served as a backbone for most image retrieval processes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2002.06028v1">arXiv:2002.06028v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rxf5idn2fjcvzj24iu4kggbaoq">fatcat:rxf5idn2fjcvzj24iu4kggbaoq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200929095628/https://arxiv.org/pdf/2002.06028v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/15/42/1542ecb808979bfc1151f4c5b1c86067d08f084a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2002.06028v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Humanode Whitepaper: You are [not] a bot [article]

Dato Kavazi, Victor Smirnov, Sasha Shilina, MOZGIII, MingDong Li, Rafael Contreras, Hardik Gajera, Dmitry Lavrenov, the Humanode Core
<span title="2021-11-25">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
cryptographically secure neural networks for the private classification of 3D templates of users' faces 2) a private Liveness detection mechanism for identification of real human beings 3) a Substrate  ...  All of these implemented technologies have nuances that are crucial for the integrity of the network.  ...  This also means that every node is equal in terms of voting and computation power, while rewards for verification and storage are equally distributed among the human nodes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.13189v1">arXiv:2111.13189v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6pc4nj46sjdkvketwydvwh2ulu">fatcat:6pc4nj46sjdkvketwydvwh2ulu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211201163102/https://arxiv.org/pdf/2111.13189v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/91/98910800110e761f61f607b1eb3309c975a320df.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.13189v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

3D human face description: landmarks measures and geometrical features

Enrico Vezzetti, Federica Marcolin
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/z7tk7kanxjcz7hgk77ae6t3ofy" style="color: black;">Image and Vision Computing</a> </i> &nbsp;
This paper is intended as a survey collecting and explaining all these features, in order to provide a structured user database of the potential parameters and their charateristics.  ...  Then, measures are computed or geometrical features are extracted to perform the scope of the study.  ...  A second method uses state-of-the-art pose-invariant feature descriptors embedded into a cascade filter to localize the nose tip.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.imavis.2012.02.007">doi:10.1016/j.imavis.2012.02.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z3emhzzrzrf7pnqsekhxc62uq4">fatcat:z3emhzzrzrf7pnqsekhxc62uq4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160418004835/http://porto.polito.it/2491693/1/3D_human_face_description_landmarks_measures_and_geometrical_features.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/84/c3/84c39c6576ddf5baedd8bb6dbbced3aeaa7b5ae8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.imavis.2012.02.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Marc Herbstritt
<span title="2015-04-07">2015</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
(ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis".  ...  Consequently, MACS implements a voting system for social norms, which allows for those (and only those) admitted to a shared space to vote positively or negatively for a norm.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.4.12.68">doi:10.4230/dagrep.4.12.68</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/HillstonPWZ14.html">dblp:journals/dagstuhl-reports/HillstonPWZ14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/65ubygwg6zht3pdl4mgynl2knq">fatcat:65ubygwg6zht3pdl4mgynl2knq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319211358/https://www.research.ed.ac.uk/portal/files/28944954/dagrep_v004_i012_p068_s14512.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/0c/5f0c927baa84a312f9cd992831b5545b88c5e49f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.4.12.68"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Formal Specification and Verification of Autonomous Robotic Systems: A Survey [article]

Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
<span title="2019-05-01">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics.  ...  Specially, it identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verification of autonomous robotics.  ...  Regulators are more concerned with the evidence of safety, than with the specific methods used to produce the evidence; therefore, determining suitable and robust formal methods for distinct robotic systems  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.00048v3">arXiv:1807.00048v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ssc63easujgijisrznyzwo7ieq">fatcat:ssc63easujgijisrznyzwo7ieq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825125647/https://arxiv.org/pdf/1807.00048v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/35/bd/35bd3869fd7fcf66242f6585becb8ba5bf5ea2db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.00048v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Toward Realistic Hands Gesture Interface

Eyal Krupka, Alon Vinnikov, Aharon Bar-Hillel, Kfir Karmon, Noam Bloom, Daniel Freedman, Ilya Gurvich, Aviv Hurvitz, Ido Leichter, Yoni Smolin, Yuval Tzairi
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4obeqfuqs5gzbos5ah64a7m57a" style="color: black;">Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems - CHI &#39;17</a> </i> &nbsp;
We address this problem by introducing a simple language for pose and gesture description, a set of development tools for using it, and an algorithmic pipeline that recognizes it with high accuracy.  ...  The language is based on a small set of basic propositions, obtained by applying four predicate types to the fingers and to palm center: direction, relative location, finger touching and finger folding  ...  Adding a fern, which adds 2 K features to the predictor, requires optimization over the bit function parameters Θ m , and the aggregation area A m .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3025453.3025508">doi:10.1145/3025453.3025508</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/chi/KrupkaKBFGHLSTV17.html">dblp:conf/chi/KrupkaKBFGHLSTV17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jqkldjbfrjfqnedqhcqrtwf5oe">fatcat:jqkldjbfrjfqnedqhcqrtwf5oe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320211205/https://www.microsoft.com/en-us/research/wp-content/uploads/2017/05/Towards-realistic-hands-gesture-interface.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/78/b67894e2b0eb5b045b09496e4d755fed0f75a936.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3025453.3025508"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Visual Analysis in Traffic & Re-identification [article]

Andreas Møgelmose
<span title="">2015</span> <i title="Aalborg University Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lohbcgndfjaodpeibekjcuyufu" style="color: black;">Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet</a> </i> &nbsp;
Sujitha Martin, and Mr. Eshed Ohn-Bar for their comments.  ...  Acknowledgment The authors would like to thank their colleagues at the LISA lab for useful discussion and encouragement, especially Eshed Ohn-Bar for his valuable comments.  ...  Detection methods We evaluate two state-of-the-art detection methods on traffic sign detection: Integral Channel Features and Aggregate Channel Features.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5278/vbn.phd.engsci.00026">doi:10.5278/vbn.phd.engsci.00026</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/taivrerts5debi734ddeeaq244">fatcat:taivrerts5debi734ddeeaq244</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200211204049/https://vbn.aau.dk/ws/files/316439577/PHD_Andrea_M_gelmose_E_pdf.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/ae/fcaed0ba15aeaf0c0943f7da8022d325594acd0b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5278/vbn.phd.engsci.00026"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 875 results