Filter your results
- 450
- 3
- 453
- 17
- 3
- 453
- 72
- 1
- 1
- 27
- 63
- 390
- 453
- 11
- 5
- 4
- 3
- 3
- 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
|
Business Process Re-engineering and Agile Software Development: Applying the Story-Card Method19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.370-382, ⟨10.1007/978-3-030-44999-5_31⟩
Conference papers
hal-03222838v1
|
||
|
GoPi: Compiling Linear and Static Channels in Go22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.137-152, ⟨10.1007/978-3-030-50029-0_9⟩
Conference papers
hal-03273983v1
|
||
|
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-50029-0_1⟩
Conference papers
hal-03273994v1
|
||
|
Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.1-13, ⟨10.1007/978-3-030-61588-8_1⟩
Conference papers
hal-02605712v1
|
||
|
Complementary Partnerships for SMEs: A Relational Capability Maturity Model from an Ecosystem Perspective19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.67-78, ⟨10.1007/978-3-030-44999-5_6⟩
Conference papers
hal-03222839v1
|
||
|
Preliminary Insights into the Nature of Graduate IS Programmes in Sub-Saharan Africa19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.545-556, ⟨10.1007/978-3-030-44999-5_45⟩
Conference papers
hal-03222840v1
|
||
|
3D Modeling and 3D Materialization of Fluid Art that Occurs in Very Short Time19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.409-421, ⟨10.1007/978-3-030-65736-9_37⟩
Conference papers
hal-03686045v1
|
||
|
Learning of Art Style Using AI and Its Evaluation Based on Psychological Experiments19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.308-316, ⟨10.1007/978-3-030-65736-9_28⟩
Conference papers
hal-03686030v1
|
||
|
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.186-200, ⟨10.1007/978-3-030-64881-7_12⟩
Conference papers
hal-03239810v1
|
||
|
Subverting Network Intrusion Detection: Crafting Adversarial Examples Accounting for Domain-Specific Constraints4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.301-320, ⟨10.1007/978-3-030-57321-8_17⟩
Conference papers
hal-03414751v1
|
||
|
A Medical Support System for Prostate Cancer Based on Ensemble Method in Developing Countries17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.361-372, ⟨10.1007/978-3-030-79478-1_31⟩
Conference papers
hal-03768755v1
|
||
|
A Hierarchical Model of Control Logic for Simplifying Complex Networks Protocol Design17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.182-187, ⟨10.1007/978-3-030-79478-1_16⟩
Conference papers
hal-03768758v1
|
||
|
Wearable Touchscreens to Integrate Augmented Reality and Tablets for Work Instructions?8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.199-206, ⟨10.1007/978-3-030-64266-2_13⟩
Conference papers
hal-03250499v1
|
||
|
Property-Based Testing for Parameter Learning of Probabilistic Graphical Models4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.499-515, ⟨10.1007/978-3-030-57321-8_28⟩
Conference papers
hal-03414744v1
|
||
|
Applying and Facilitating Serious Location-Based Games19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.104-109, ⟨10.1007/978-3-030-65736-9_8⟩
Conference papers
hal-03686001v1
|
||
|
A Methodology for Retrieving Datasets from Open Government Data Portals Using Information Retrieval and Question and Answering Techniques19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.239-249, ⟨10.1007/978-3-030-57599-1_18⟩
Conference papers
hal-03282773v1
|
||
|
VR-DLR: A Serious Game of Somatosensory Driving Applied to Limb Rehabilitation Training19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.51-64, ⟨10.1007/978-3-030-65736-9_4⟩
Conference papers
hal-03686027v1
|
||
|
Digital Transformation in the Context of the Open Government Partnership12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.69-80, ⟨10.1007/978-3-030-58141-1_6⟩
Conference papers
hal-03201955v1
|
||
|
A Formal Framework for Consent Management40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.169-186, ⟨10.1007/978-3-030-50086-3_10⟩
Conference papers
hal-03283231v1
|
||
|
Trust in Citizens and Forms of Political Participation: The View of Public Managers12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.15-25, ⟨10.1007/978-3-030-58141-1_2⟩
Conference papers
hal-03201960v1
|
||
|
Cycle Based Clustering Using Reversible Cellular Automata26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.29-42, ⟨10.1007/978-3-030-61588-8_3⟩
Conference papers
hal-03659463v1
|
||
|
Using an SMT Solver for Checking the Completeness of FSM-Based Tests32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.289-295, ⟨10.1007/978-3-030-64881-7_18⟩
Conference papers
hal-03239812v1
|
||
|
Weighted PCL over Product Valuation Monoids22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.301-319, ⟨10.1007/978-3-030-50029-0_19⟩
Conference papers
hal-03273981v1
|
||
|
Exploring the Determinants of Internet Usage in Nigeria: A Micro-spatial Approach19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.307-318, ⟨10.1007/978-3-030-45002-1_26⟩
Conference papers
hal-03774175v1
|
||
|
Online Identity Theft on Consumer Purchase Intention: A Mediating Role of Online Security and Privacy Concern19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.147-158, ⟨10.1007/978-3-030-45002-1_13⟩
Conference papers
hal-03774189v1
|
||
|
Sentiment Analysis of Bengali Tweets Using Deep Learning3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.71-84, ⟨10.1007/978-3-030-63467-4_6⟩
Conference papers
hal-03434785v1
|
||
|
Information Technology Based on Qualitative Methods in Cyber-Physical Systems of Situational Disaster Risk Management5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.132-143, ⟨10.1007/978-3-030-81469-4_11⟩
Conference papers
hal-03761618v1
|
||
|
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-50086-3_1⟩
Conference papers
hal-03283240v1
|
||
|
Applying AI in Practice: Key Challenges and Lessons Learned4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.451-471, ⟨10.1007/978-3-030-57321-8_25⟩
Conference papers
hal-03414730v1
|
||
|
A Study on the Fusion of Pixels and Patient Metadata in CNN-Based Classification of Skin Lesion Images4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.191-208, ⟨10.1007/978-3-030-57321-8_11⟩
Conference papers
hal-03414735v1
|