Filter your results
- 450
- 3
- 450
- 17
- 2
- 450
- 72
- 1
- 1
- 27
- 63
- 387
- 450
- 11
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Identification of Competencies and Teaching Models for the Governance of Smart Sustainable Cities in the South American Context19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.400-411, ⟨10.1007/978-3-030-57599-1_30⟩
Conference papers
hal-03282768v1
|
||
|
|
Using Theories to Design a Value Alignment Model for Smart City Initiatives19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.55-66, ⟨10.1007/978-3-030-44999-5_5⟩
Conference papers
hal-03222844v1
|
||
|
|
Digitalization of Training Tasks and Specification of the Behaviour of a Social Humanoid Robot as Coach8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.45-57, ⟨10.1007/978-3-030-64266-2_3⟩
Conference papers
hal-03250488v1
|
||
|
|
A Broker-Based Framework for the Recommendation of Cloud Services: A Research Proposal19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.409-415, ⟨10.1007/978-3-030-44999-5_34⟩
Conference papers
hal-03222830v1
|
||
|
|
Experimental Application of Machine Learning on Financial Inclusion Data for Governance in Eswatini19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.414-425, ⟨10.1007/978-3-030-45002-1_36⟩
Conference papers
hal-03774202v1
|
||
|
|
Non-local Second-Order Attention Network for Single Image Super Resolution4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.267-279, ⟨10.1007/978-3-030-57321-8_15⟩
Conference papers
hal-03414726v1
|
||
|
|
Developing an Analytical Framework for Analyzing and Comparing National E-Government Strategies19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.15-28, ⟨10.1007/978-3-030-57599-1_2⟩
Conference papers
hal-03282767v1
|
||
|
|
Public Opinion Monitoring for Proactive Crime Detection Using Named Entity Recognition16th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2020, New Delhi, India. pp.203-214, ⟨10.1007/978-3-030-56223-6_11⟩
Conference papers
hal-03657233v1
|
||
|
|
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.150-168, ⟨10.1007/978-3-030-50086-3_9⟩
Conference papers
hal-03283239v1
|
||
|
|
An Ensemble Interpretable Machine Learning Scheme for Securing Data Quality at the Edge4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.517-534, ⟨10.1007/978-3-030-57321-8_29⟩
Conference papers
hal-03414739v1
|
||
|
|
Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.14-28, ⟨10.1007/978-3-030-61588-8_2⟩
Conference papers
hal-03659470v1
|
||
|
|
Renegotiation and Recursion in Bitcoin Contracts22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.261-278, ⟨10.1007/978-3-030-50029-0_17⟩
Conference papers
hal-03273996v1
|
||
|
|
FEB3D: An Efficient FPGA-Accelerated Compression Framework for Microscopy Images17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.217-230, ⟨10.1007/978-3-030-79478-1_19⟩
Conference papers
hal-03768750v1
|
||
|
|
Can technology be leveraged for bridging the rural-urban divide?I3E 2020 : The 19th IFIP Conference on e-Business, e-Services and e-Society, Apr 2020, Skukuza, Kruger National Park, South Africa. pp.301-306, ⟨10.1007/978-3-030-45002-1_25⟩
Conference papers
hal-03102283v1
|
||
|
|
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.39-58, ⟨10.1007/978-3-030-50086-3_3⟩
Conference papers
hal-03283234v1
|
||
|
|
Collaboration in Open Government Data Ecosystems: Open Cross-sector Sharing and Co-development of Data and Software19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.290-303, ⟨10.1007/978-3-030-57599-1_22⟩
Conference papers
hal-03282780v1
|
||
|
|
Role of Distance Measures in Approximate String Matching Algorithms for Face Recognition System3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.157-169, ⟨10.1007/978-3-030-63467-4_12⟩
Conference papers
hal-03434787v1
|
||
|
|
IoT Based Crop-Field Monitoring and Precise Irrigation System Using Crop Water Requirement3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.291-304, ⟨10.1007/978-3-030-63467-4_23⟩
Conference papers
hal-03434795v1
|
||
|
|
Driveable Area Detection Using Semantic Segmentation Deep Neural Network3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.222-230, ⟨10.1007/978-3-030-63467-4_18⟩
Conference papers
hal-03434796v1
|
||
|
|
ARx: Reactive Programming for Synchronous Connectors22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.39-56, ⟨10.1007/978-3-030-50029-0_3⟩
Conference papers
hal-03274003v1
|
||
|
|
Explain Graph Neural Networks to Understand Weighted Graph Features in Node Classification4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.57-76, ⟨10.1007/978-3-030-57321-8_4⟩
Conference papers
hal-03414729v1
|
||
|
|
Automatic Generation of Game Levels Based on Controllable Wave Function Collapse Algorithm19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.37-50, ⟨10.1007/978-3-030-65736-9_3⟩
Conference papers
hal-03686007v1
|
||
|
|
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.310-316, ⟨10.1007/978-3-030-64881-7_21⟩
Conference papers
hal-03239828v1
|
||
|
|
eXDiL: A Tool for Classifying and eXplaining Hospital Discharge Letters4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.159-172, ⟨10.1007/978-3-030-57321-8_9⟩
Conference papers
hal-03414738v1
|
||
|
|
Multiplayer Game Backends: A Comparison of Commodity Cloud-Based Approaches8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.41-55, ⟨10.1007/978-3-030-44769-4_4⟩
Conference papers
hal-03203228v1
|
||
|
|
Modeling Users’ Performance: Predictive Analytics in an IoT Cloud Monitoring System8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.149-158, ⟨10.1007/978-3-030-44769-4_12⟩
Conference papers
hal-03203278v1
|
||
|
|
The Theory of Universal Graphs for Games: Past and Future15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.1-10, ⟨10.1007/978-3-030-57201-3_1⟩
Conference papers
hal-03232352v1
|
||
|
|
DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection SystemsDAIS - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. pp.148-165, ⟨10.1007/978-3-030-50323-9_10⟩
Conference papers
hal-03223251v1
|
||
|
|
Identifying Strategic Planning Patterns of Smart Initiatives. An Empirical Research in Spanish Smart Cities19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.374-386, ⟨10.1007/978-3-030-57599-1_28⟩
Conference papers
hal-03282770v1
|
||
|
|
Model-Based Product Configuration in Augmented Reality Applications8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.84-104, ⟨10.1007/978-3-030-64266-2_5⟩
Conference papers
hal-03250496v1
|