Filters








12 Hits in 5.8 sec

HCV: Hierarchy-Consistency Verification for Incremental Implicitly-Refined Classification [article]

Kai Wang, Xialei Liu, Luis Herranz, Joost van de Weijer
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]

Naveen Mohan, Martin Törngren, Viacheslav Izosimov, Viktor Kaznov, Per Roos, Johan Svahn, Joakim Gustavsson, Damir Nesic
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

Tingting Mu, John Y. Goulermas, Ioannis Korkontzelos, Sophia Ananiadou
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

Alexander Kamkin, Alexander Petrenko, Andrey Terekhov, D Silakov…………………………………………………………………………………, P Shved, D Silakov…………………………………………………………………17, E Novikov, D Silakov………………………………………………………………27, N Voinov, V Kotlyarov…………………………………………………………, A Karaulov, A Strabykin……………………………………………………………46 (+18 others)
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]

Konrad Ott, Karl Christoph Reinmuth
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

Floriano Scioscia, Politecnico Di Bari, Italy Semapro, Fabio Grandi, David Ostrowski, Michael Mohler, Bernd Stadlhofer, Wladyslaw Homenda, Fabio Grandi, David Ostrowski, Michael Mohler, Bernd Stadlhofer (+110 others)
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

Editor in Chief
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

Hesham Ali, Stephen Anthony, Hesham Ali, Stephen Anthony, Hesham Ali, Yili Chen, Tom Bersano, Clara Pizzuti, Icar-Cnr -Rende, John Spounge, Basim Alhadidi, Albalqa (+54 others)
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]

"Advanced Problems In Mechanics (APM 2017)", International Conference (45; 2017; St. Petersburg, Russia), Russian Academy Of Sciences. Institute For Problems In Mechanical Engineering, University, Peter The Great St. Petersburg Polytechnic
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]

Leigh B. Boske
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