Filters








81,869 Hits in 4.2 sec

User guidance for efficient fact checking

Thanh Tam Nguyen, Matthias Weidlich, Hongzhi Yin, Bolong Zheng, Quoc Viet Hung Nguyen, Bela Stantic
2019 Proceedings of the VLDB Endowment  
Based thereon, we show how to guide users in fact checking by identifying the facts for which validation is most beneficial.  ...  In this paper, we propose a comprehensive framework to guide users in the validation of facts, striving for a minimisation of the invested effort.  ...  These strategies target the reduction of uncertainty in our probabilistic model for fact checking. • Complete validation process: §5 combines our mechanisms for credibility inference and user guidance  ... 
doi:10.14778/3324301.3324303 fatcat:eiiwneqehbhqvi5jjphfwnncnu

Understanding the Factors Affecting UX and Technology Acceptance in the Context of Automated Border Controls

Mari Ylikauppila, Sirra Toivonen, Minna Kulju, Minna Jokela
2014 2014 IEEE Joint Intelligence and Security Informatics Conference  
One well recognised reason for this is that the process is too cumbersome for users.  ...  Automated border control is expected to make border checks quicker and more efficient as well reducing the cost. At the same time, the purpose is to enhance the level of border security.  ...  ACKNOWLEDGMENT The work for this conference paper has been supported by the FastPass project.  ... 
doi:10.1109/jisic.2014.33 dblp:conf/isi/YlikauppilaTKJ14 fatcat:ejxg3qr3tnhbnog524uf75diwm

What Next For Oa Policy?

Bill Hubbard
2016 Zenodo  
Presentation given at the PASTEUR4OA conference - Green Light for Open Access: Aligning Europe's OA Policies, Amsterdam, 17th-18th May 2016.  ...  in repository Manage costs Check compliance Select Journal Maximise impact Record impact Report Global support » Jisc has a model for national support » Elements can be -and are  ...  5 Submission Acceptance Publication Use SHERPA JULIET SHERPA RoMEO SHERPA REF R&D:Beta SHERPA Fact Monitor UK R&D:Alpha Jisc collections OpenDOAR Publications Router R&D:Alpha  ... 
doi:10.5281/zenodo.54732 fatcat:ihdqgus35rhw3fhumh2yemhpse

Intelligent Agile Method Framework
english

Marko Jankovic, Marko Bajec, Ghazaleh Khodabandelou, Rébecca Deneckère, Charlotte Hug, Camille Salinesi
2013 Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering  
This has been recognized as one of the key reasons for failures in software development projects and a contributor to the low quality of software.  ...  In order to give users good overview and efficient guidance, the iAMF toolset will provide graphical interface for users to browse between various base methods, to get detailed information on a particular  ...  It might happen, for example, that the user made a mistake, e.g. by taking some action that was not expected according to the base method -i.e. he checked in an artifact A, which was not yet required,  ... 
doi:10.5220/0004562702320237 dblp:conf/enase/JankovicBKDHS13 fatcat:siflpgyg5vdt3pcpef3gqh5s3y

Model checking [chapter]

Edmund M. Clarke
1997 Lecture Notes in Computer Science  
We illustrate the power of model checking to find subtle errors by verifying part of the Contingency Guidance Requirements for the Space Shuttle.  ...  Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.  ...  Typically, the user provides a high level representation of the model and the specification to be checked.  ... 
doi:10.1007/bfb0058022 fatcat:3l7ku5ebdvbutjvzn565ql3qsu

Ontology-Driven Guidance for Requirements Elicitation [chapter]

Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stålhane, Inah Omoronyia, Herbert Zojer
2011 Lecture Notes in Computer Science  
The semantic guidance system is evaluated based on a domain ontology and a set of requirements from the aerospace domain.  ...  The evaluation results show that the semantic guidance system effectively supports requirements engineers in defining well-structured requirements.  ...  Elicitation Guidance There are several approaches to guide users to specify requirements.  ... 
doi:10.1007/978-3-642-21064-8_15 fatcat:e2ltfw5cejhslounlg5uyr2boq

AggChecker

Saehan Jo, Immanuel Trummer, Weicheng Yu, Xuezhi Wang, Cong Yu, Daniel Liu, Niyati Mehta
2019 Proceedings of the VLDB Endowment  
In this demonstration, we show that our system enables users to verify text summaries much more efficiently than a standard SQL interface. PVLDB Reference Format:  ...  We demonstrate AggChecker, a novel tool for verifying textual summaries of relational data sets.  ...  AggChecker is a system for fact-checking natural language claims about relational data.  ... 
doi:10.14778/3352063.3352104 fatcat:twvp4iijxbcjregfypz52lhxfi

Designing ERM Ontology to Evaluate Records Management System

J Alalwan, M Thomas
2011 2011 44th Hawaii International Conference on System Sciences  
For achieving these two goals, evaluation of RM, which is normally done manually, is a necessity for every firm.  ...  Organizations seek to improve their records management (RM) system to have better efficiency and to meet legislative requirements.  ...  The resulting inferred facts are then returned to the user via the web interface.  ... 
doi:10.1109/hicss.2011.149 dblp:conf/hicss/AlalwanT11 fatcat:tikpr4qttradlbgns6qurmg2dm

A Soft-Computing Based Course Timetabling for Schools Using Genetic Algorithm

Ukaoha K. C., Ndunagu J., Osang F.B., Otokiti K., Azikien G.
2020 NIPES Journal of Science and Technology Research  
The Centre for Distance Learning of a Federal University in Nigeria was used as a case study.  ...  Guidance and counseling activities are becoming more popular in schools and a guidance and counseling application (GC Mobile App) is necessary to bring disturbed students in an institution and the counselors  ...  The user clicks the signup button, the application checks to validate captured details, the application posts the data to the server, the server responds with a user id, the application registers the user  ... 
doi:10.37933/nipes/2.3.2020.29 fatcat:rmhj6uztkffath4yphuks4hdg4

Leveraging Metadata Creation for the Semantic Web with CREAM [chapter]

Siegfried Handschuh, Steffen Staab, Rudi Studer
2003 Lecture Notes in Computer Science  
We provide a framework, CREAM, that allows for the creation of semantic metadata about static and dynamic Web pages, i.e. for semantic annotation of the Shallow and the Deep Web.  ...  -Ontology Guidance and Fact Browser: The framework needs guidance from the ontology.  ...  -Efficiency: The effort for the production of metadata is an important restraining threshold. The more efficiently a tool supports metadata creation, the more metadata users tend to produce.  ... 
doi:10.1007/978-3-540-39451-8_2 fatcat:ybwbf74iv5gxbeqd263dxuujxa

An intelligent active alert application on handheld devices for emergency evacuation guidance

Chung-Chuo Wu, Kun-Ming Yu, Shao-Ting Chine, Shao-Tsai Cheng, Yuan-Shao Huang, Ming-Yuan Lei, Jiann-Horng Lin
2013 2013 Fifth International Conference on Ubiquitous and Future Networks (ICUFN)  
Also, in the proposed system, the user can obtain information of the environment and get evacuation guidance with a well-marked arrow on a mobile device.  ...  In the system, a wireless sensor network, RFID, and a smart handheld device were integrated to provide a realtime, active, intelligent guidance system for fire evacuation.  ...  It was used to supply path information and guidance for each user.  ... 
doi:10.1109/icufn.2013.6614766 fatcat:nxxj4qsennbezn6lul3iruyvru

The Economics and Regulation of Bank Overdraft Protection

Todd J. Zywicki
2011 Social Science Research Network  
the Office of the Comptroller of the Currency have also issued guidance on overdraft protection and pricing.  ...  Standard economic analysis recognizes that the increased demand for a product-including a financial product such as overdraft protection-as evidence of consumer satisfaction and demand for the product.  ...  after "Not able to get money" for elevated users).  ... 
doi:10.2139/ssrn.1946387 fatcat:ix2gkke5vreble5nvfq3booplq

AlPiNA: An Algebraic Petri Net Analyzer [chapter]

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
2010 Lecture Notes in Computer Science  
AlPiNA is a graphical editor and model checker for a class of highlevel Petri nets called Algebraic Petri Nets. Its main purpose is to perform reachability checks on complex models.  ...  It performs symbolic model checking based on ΣDD, an efficient evolution in the Decision Diagrams field, using novel techniques such as algebraic clustering and algebraic unfolding.  ...  Moreover, we will improve user guidance while defining the algebraic clustering. J. Esparza and R.  ... 
doi:10.1007/978-3-642-12002-2_29 fatcat:vun5ts5wwray5gnb6oncvnfzvu

Basic Requirements for an Efficient Inter-Framework-Communication [chapter]

Arno Kunzmann, Ralf Seepold
1995 Electronic Design Automation Frameworks  
As a result of this case-study the basic requirements for an efficient inter-framework-communication are described to indicate some trends for future framework developments.  ...  JESSI-COMMON-Framework with special emphasis on design management, and (2) FMCAD (representing a widespread design environment of the electronic CAD domain) that is tuned on close tool integration and efficient  ...  Acknowledgements We would like to thank Hans Kok, Kees Lepoeter (Philips Research, Eindhoven) and Thomas Harriehausen (Siemens HL, Munich) for their contributions, support during the study and the fruitful  ... 
doi:10.1007/978-0-387-34880-3_13 fatcat:gsjnybs235g5bbsolimy3eq56a

Reach Out and Help: Assisted Remote Collaboration through a Handheld Robot [article]

Janis Stolzenwald, Walterio W. Mayol-Cuevas
2020 arXiv   pre-print
Using remote maintenance as an example task, the remote user assists the local user through diagnosis, guidance and physical interaction.  ...  We show that the handheld robot can mediate the helper's instructions and remote object interactions while the robot's semi-autonomous features improve task performance by 37%, reduce the workload for  ...  Acknowledgements Thanks to the German Academic Scholarship Foundation and UK's EPSRC for funding. Stated opinions are the authors' and not of the funders'.  ... 
arXiv:1910.02015v2 fatcat:vdbqqyh6ybd5lfmcl3yekps4su
« Previous Showing results 1 — 15 out of 81,869 results