Filters








35 Hits in 3.3 sec

Comodo : Collaborative monitoring of commitment delegations

Özgür Kafalı, Paolo Torroni
2018 Expert systems with applications  
One reason why commitment-based approaches are more flexible than traditional approaches is that they enable the stakeholders to delegate their commitments.  ...  COMODO provides a sound and complete distributed reasoning procedure that is able to find all improper delegations of a given commitment.  ...  Ajmeri et al. (2016) propose Coco, a formalism to express and reason about conflicting commitment instances at runtime, and dominance among them.  ... 
doi:10.1016/j.eswa.2018.03.057 fatcat:hhqjd4haqnayvf47qirupmk3zm

Blockchain and Trusted Computing: Problems, Pitfalls, and a Solution for Hyperledger Fabric [article]

Marcus Brandenburger, Christian Cachin, Rüdiger Kapitza, Alessandro Sorniotti
2018 arXiv   pre-print
Coco integrates consensus algorithms, distributed ledger state, and a runtime environment for executing smart-contract transactions in SGX enclaves.  ...  and that have been committed by all peers.  ... 
arXiv:1805.08541v1 fatcat:32u7dqltafg5dohd4ep2cgno7m

Benchmarking Object Detection Deep Learning Models in Embedded Devices

David Cantero, Iker Esnaola-Gonzalez, Jose Miguel-Alonso, Ekaitz Jauregi
2022 Sensors  
To take advantage of these co-processors, models must be converted to a specific embedded runtime format.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ...  The compiler does not provide any information about the reasons for this failure.  ... 
doi:10.3390/s22114205 pmid:35684827 fatcat:ditpy6nqzzgzvctvoebyzqp6gu

Intelligent perception and control for space robotics

Faisal Qureshi, Demetri Terzopoulos
2007 Machine Vision and Applications  
Reasoning and related elements, among them intention, context, and memory, are responsible for the robustness and reliability of the overall system.  ...  Our innovative system combines visual perception (object identification, recognition, and tracking) with high-level reasoning in a hybrid deliberative/reactive computational framework.  ...  A GOLOG program can reason about the state of the world and consider various possible courses of action before committing to a particular choice, in effect performing deliberation.  ... 
doi:10.1007/s00138-007-0085-z fatcat:r7bdepvtkvcfld7lokcocim7nu

Autonomous Membership Service for Enclave Applications [article]

Hung Dang, Ee-Chien Chang
2019 arXiv   pre-print
[22] Shivakant Mishra, Larry L Peterson, and Richard D [7] The Coco Framework. http://aka.ms/cocopaper. Schlichting.  ...  In excommunicated process committing suicide.  ... 
arXiv:1905.06460v1 fatcat:uwetyepxebaarji42dh6owo2ne

Applying Vision-Based Pose Estimation in a Telerehabilitation Application

Francisca Rosique, Fernando Losilla, Pedro J. Navarro
2021 Applied Sciences  
Conflicts of Interest: "The authors declare no conflicts of interest Figure 1 . 1 General architecture of ExerCam.  ...  WrnchAI is a high-performance deep-learning runtime engine, engineered and engineered to extract human motion and behavior from standard video.  ... 
doi:10.3390/app11199132 fatcat:anp6ccuanfenpme3ktqchusxnu

TOWARDS AN ERROR DETECTION TEST FRAMEWORK FOR MOLECULAR DYNAMICS APPLICATIONS Towards an Error Detection Test Framework for Molecular Dynamics Applications

Suvigya Tripathi, Suvigya Tripathi, Shantenu Jha
2016 unpublished
Frequent Commits The practices of continuous integration encourage developers to commit their code changes as often as possible.  ...  CoCo python satlite exe.py -name "coco"resource "xsede.stampede" -arguments coco arguments.wcfg Single executable example. Tested on Stampede.  ... 
fatcat:xp53vay4ivh63efvsdydphj5ya

Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue [article]

2016
but the latter offering better support for reasoning about atomicity.  ...  This is another good reason for pursuing the benchmarking efforts of the Coco framework to find out quantitative results.  ...  Abandoning models due to evidential conflict Hierarchical Bayesian approach (Bayesian inference about model selection e.g., Tenenbaum and colleagues..) Does this work in practice?  ... 
doi:10.4230/dagrep.5.5 fatcat:tkbz2f3nwfbvpkrwfigk423kfe

Building a massively multiplayer game for the million

Mark R. Mine, Joe Shochet, Roger Hughston
2003 Computers in Entertainment  
Thanks as always to Sandra for her incredible support, and to Dylan and Coco for the never-ending joy they bring to my life.  ...  Though it meant a great deal of additional work, we felt it was important for several reasons. First, and most importantly, we realized that building and maintaining an MMP is a long-term commitment.  ...  We wanted, therefore, to get the game up and running in about 10 minutes.  ... 
doi:10.1145/950566.950589 fatcat:dwtq3ko4hbbdtduvodfoe2z5mi

Operating system support for warehouse-scale computing

Malte Schwarzkopf, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository, Steven Hand, Ian Leslie, Robert N. M. Watson
2018
This is problematic for CoCo, because the solver may place tasks in such a way that their resource requirements conflict.  ...  The wait time matrix is computed from information about the runtime of prior runs of similar tasks -in Firmament, this information is available in the coordinator's knowledge base.  ...  of a measured workload under co-location to its ideal runtime on an otherwise idle machine: in other words, the result is 1.0 in the absence of any interference.  ... 
doi:10.17863/cam.26443 fatcat:lvxhwdcmlnbm7d7hg5xdrxqrsa

Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution [article]

Raymond Cheng, Fan Zhang, Jernej Kos, Warren He, Nicholas Hynes, Noah Johnson, Ari Juels, Andrew Miller, Dawn Song
2019 arXiv   pre-print
Consequently, TEEs might terminate at any point, posing the risk and challenge of lost and/or conflicting state.  ...  IMPLEMENTATION We implemented an Ekiden prototype in about 7.5k lines of Rust.  ... 
arXiv:1804.05141v6 fatcat:r3y3kq7g6jda7ag3hznfrcw45a

Artificial Intelligence: Research Impact on Key Industries; the Upper-Rhine Artificial Intelligence Symposium (UR-AI 2020) [article]

Andreas Christ, Franz Quint
2020 arXiv   pre-print
Thus, the FDA's commitment to foster the discussion about ML based SaMD is necessary and appreciated by many stakeholders as the feedback docket [26] for [13] shows.  ...  For the comparison the following models were selected: -ssd mobilenet v1 coco: [11, 23, 24] -ssd mobilenet v2 coco: [11, 25, 26] -faster rcnn inception v2 coco: [27] [28] [29] -rfcn resnet101 coco  ... 
arXiv:2010.16241v1 fatcat:y6lc2dmlyvh55bw2ytfbf7hwta

Resource-Constrained Learning and Inference for Visual Perception

Mengtian Li
2022
However, none of the aforementioned end-to-end methods are able to reason about multiple future trajectories.  ...  We believe that constant runtime is a reasonable assumption for our setting, and empirically verify so after our theoretical analysis.  ...  about distillation with heterogeneous teachers (Section 4.3).  ... 
doi:10.1184/r1/19942133.v1 fatcat:rcoexlaxrfghtep2ba5s46pgmq

Robust Medical Instrument Segmentation Challenge 2019 [article]

Tobias Ross, Annika Reinke, Peter M. Full, Martin Wagner, Hannes Kenngott, Martin Apitz, Hellena Hempe, Diana Mindroc Filimon, Patrick Scholz, Thuy Nuong Tran, Pierangela Bruno, Pablo Arbeláez (+38 others)
2020 arXiv   pre-print
There where two deadlines, the 21th September for participants, whose methods would require more than 3h of runtime and the 28th September for participants, whose dockers needs less than 3h runtime.  ...  For this reason, the 5% percentile was computed instead of aggregating metric values with the mean or median.  ...  loss functions ○ Hyperparameters ○ Optimizer and training procedures ○ Further data augmentation techniques Conclusion/Discussion This section should include any insights gained during the challenge, reasons  ... 
arXiv:2003.10299v2 fatcat:bghqxe7rsbeklhu3nqe6poudxm

Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey [article]

Julian Wörmann, Daniel Bogdoll, Etienne Bührle, Han Chen, Evaristus Fuh Chuo, Kostadin Cvejoski, Ludger van Elst, Tobias Gleißner, Philip Gottschall, Stefan Griesche, Christian Hellert, Christian Hesels (+34 others)
2022 arXiv   pre-print
The reasons for this are manifold and range from time and cost constraints to ethical considerations.  ...  By definition, Causal Reasoning is the process of drawing conclusions from a Causal Model, similar to the way probability theory reasons about the outcomes of random experiments.  ...  Conformance to rules could be rephrased as a constraint satisfaction problem by reasoning about the temporal properties of the system.  ... 
arXiv:2205.04712v1 fatcat:u2bgxr2ctnfdjcdbruzrtjwot4
« Previous Showing results 1 — 15 out of 35 results