A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Filters
HCV: Hierarchy-Consistency Verification for Incremental Implicitly-Refined Classification
[article]
2021
arXiv
pre-print
To overcome forgetting in this benchmark, we propose Hierarchy-Consistency Verification (HCV) as an enhancement to existing continual learning methods. ...
A more realistic setting tackling this problem is referred to as Incremental Implicitly-Refined Classification (IIRC), which simulates the recognition process from coarse-grained categories to fine-grained ...
Acknowledgement We acknowledge the support from Huawei Kirin Solution, the Spanish Government funding for projects PID2019-104174GB-I00 and RTI2018-102285-A-I00, and Kai Wang acknowledges the Chinese Scholarship ...
arXiv:2110.11148v2
fatcat:uqtxr6nv2zgx7ce424nma5nmgq
Challenges in Architecting Fully Automated Driving; with an Emphasis on Heavy Commercial Vehicles
[article]
2019
arXiv
pre-print
Focusing on Heavy Commercial Vehicles (HCVs), we assess these cases from the perspectives of business, safety, dependability, verification, and realization. ...
For all cases, the design and verification of the ADI will pose a grand challenge and relate to the evolution of the regulatory framework including safety standards. ...
competence group, to refine and validate the cases, and the findings from the perspectives. ...
arXiv:1912.02005v1
fatcat:6fxs6gylcjcc3e2txef5l4ulka
Descriptive document clustering via discriminant learning in a co-embedded space of multilevel similarities
2014
Journal of the Association for Information Science and Technology
Acknowledgment This research was conducted within the Digging into Data project "Integrated Social History Environment for Research" (ISHER) funded by JISC/ESRC/AHRC.
DESCRIPTIVE DOCUMENT CLUSTERING ...
Stage 5: Verification of Document Clusters. ...
, and the classification operation for determining topic phrases. ...
doi:10.1002/asi.23374
fatcat:xnx7abfkyrh7djkezmsfzncbre
Dynamic Web-Components and Web Environment Behavior Analysis V
2009
Proceedings of the Third Spring Young Researchers' Colloquium on Software Engineering
unpublished
Both regular and research-in-progress papers were considered acceptable for this colloquium. ...
(implicitly) mediator for testing impact and an oracle for checking the returned value on correctness. ...
Conditions described in Hoare logic are used for model consistency checking and correct method invocation planning in game scenarios not for verification by deduction analysis. ...
fatcat:xxdnl4xkyncjjbjg46yulwypde
95/00921 Proceedings of the Third Atmospheric Radiation Measurement (ARM) Science Team Meeting
1995
Fuel and Energy Abstracts
approach for the contribution of consistent as possiblewith the line-by-linecalculations, local lines. ...
where the hierarchy (Parisi and Fdsch 1985). gradient field is reduced to a Dirac 6-function). ...
The inhomogeneitythat exists inthe GulfStream Locale
for .n.r. ...
doi:10.1016/0140-6701(95)96176-3
fatcat:jw2clcgn6vbibnzxdrzrojru6i
Integrating Environmental Value Systems: A Proposal for Synthesis
[chapter]
2016
Transitioning to Sustainable Life on Land
For future research, we identify a need for further investigation on the potential links between OF development and decentralization. ...
Acknowledgments: Thanks to Evelyn Smart for the word processing of this manuscript and research assistance.
Acknowledgments: We thank two anonymous reviewers for helpful comments. ...
This theoretical refining is convincing for parliamentary systems. ...
doi:10.3390/books978-3-03897-879-4-3
fatcat:tymk7npgeng6hfozb2tegxnlrm
Technical Program Committee Nasser Alalwan
2016
unpublished
We truly believe that, thanks to all these efforts, the final conference program consisted of top quality contributions. ...
We also gratefully thank the members of the SEMAPRO 2016 organizing committee for their help in handling the logistics and for their work that made this professional meeting a success. ...
For example, if a patient's Anti-HCV test is positive, this person can have chronic Hepatitis-C virus infection. ...
fatcat:tx2ovmzp6rbrfi5tvnhihf45na
Key note presentations, 10th Arctic Ungualate Conference, Tromsø, Norway, 1999
2000
Rangifer
A Rangifer Special Issue with workshop papers is planned for publication later in 2000. ...
Acknowledgements
Acknowledgements I would like to thank Nicholas Tyler for introducing me to the literature on arcric ungulate ecology and also, together with Carol Kerven and Cara Kerven, for suggesting ...
The main ideas in the paper, like for many anthropologists and wildlife biologists, have a local providence. ...
doi:10.7557/2.20.2-3.1478
fatcat:vmz6vqp4njcrnlhuip2oi4yvsm
SAPC Annual Conference 2012 Abstracts, 3rd and 4th October 2012, Glasgow
2012
Primary Health Care Research and Development
Incremental cost per QALY gain from the NHS and PSS perspective is £18,652. ...
Interview transcripts were analysed thematically, and a hierarchy of themes developed. ...
The approach -Intervention Design: The preliminary stages of this research included a work process consistent with the MRC framework for development and evaluation of RCTs for complex interventions. ...
doi:10.1017/s1463423612000710
pmid:23257315
fatcat:vnnmsvovxvfgxp7xgs4bnvtj7y
Chamonix, France BIOTECHNO 2014 Editors BIOTECHNO 2014 Committee BIOTECHNO Advisory Chairs BIOTECHNO 2014 Technical Program Committee
2014
Daisuke Kihara
unpublished
We truly believe that, thanks to all these efforts, the final conference program consisted of top quality contributions. ...
The area brings a rich spectrum of informatics paradigms, such as epidemic models, pattern classification, graph theory, or stochastic models, to support special biocomputing applications in biomedical ...
Acknowledgments: We would like to thank the anonymous reviewers for their valuable comments. ...
fatcat:mrib6ha45ra7vlyxc57i5shr2y
APM 2017. Book of abstracts
[article]
2017
The Runga-Kutta method has been used for numerical calculation of the problem. ...
The solution is asymptotically exact for small and large values of relative coating thickness. ...
The authors are grateful for the support of this research. ...
doi:10.18720/spbpu/2/k17-23
fatcat:us6nhplc3rbhrgowwocdqa2wrq
Port and Supply-chain Security Initiatives in the United States, PRP 150
[article]
2016
SAFE compiles best practices for Customs administration security and trade facilitation, and establishes an agenda for business participation, authorization, and inter-country Customs communication. ...
Each case study consists of two parts. The first part examines national port security, Customs regimes, and national port administration. ...
We also thank the following individuals for ...
doi:10.15781/t2f766966
fatcat:ysbp5umx2je7vnxellumoojpxa