Search - IFIP Open Digital Library Access content directly

Filter your results

68 results
level0_domain_s : Computer Science [cs]
labStructName_s : College of Engineering [Beijing]
labStructName_s : Laboratoire d'Informatique de Grenoble
Image document

Identification of Eggplant Young Seedlings Infected by Root Knot Nematodes Using Near Infrared Spectroscopy

Wei Ma , Xiu Wang , Lijun Qi , Dongyan Zhang
10th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Oct 2016, Dongying, China. pp.93-100, ⟨10.1007/978-3-030-06155-5_9⟩
Conference papers hal-02180004v1
Image document

Code Generation for a Bi-dimensional Composition Mechanism

Jacky Estublier , Anca Daniela Ionita , Tam Nguyen
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.171-185, ⟨10.1007/978-3-642-22386-0_13⟩
Conference papers hal-01572540v1
Image document

Objective Evaluation of Subjective Metrics for Interactive Decision-Making Tasks by Non-experts

Yann Laurillau , Joëlle Coutaz , van Bao Nguyen , Gaëlle Calvary , Daniel Llerena
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.384-403, ⟨10.1007/978-3-030-85613-7_27⟩
Conference papers hal-03356425v1
Image document

Precise pointing techniques for handheld Augmented Reality

Thomas Vincent , Laurence Nigay , Takeshi Kurata
14th International Conference on Human-Computer Interaction (INTERACT), 2013, Cape Town, South Africa. pp.122-139, ⟨10.1007/978-3-642-40483-2_9⟩
Conference papers hal-00953357v1
Image document

BFT-Bench: Towards a Practical Evaluation of Robustness and Effectiveness of BFT Protocols

Divya Gupta , Lucas Perronne , Sara Bouchenak
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.115-128, ⟨10.1007/978-3-319-39577-7_10⟩
Conference papers hal-01372682v1
Image document

Compressing Microcontroller Execution Traces to Assist System Analysis

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers hal-00853716v1
Image document

Understanding Hand Degrees of Freedom and Natural Gestures for 3D Interaction on Tabletop

Rémi Brouet , Renaud Blanch , Marie-Paule Cani
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Cape Town, South Africa. pp.297-314, ⟨10.1007/978-3-642-40483-2_20⟩
Conference papers hal-00814014v2
Image document

The Design and Development of Test Platform for Wheat Precision Seeding Based on Image Processing Techniques

Qing Li , Haibo Lin , Yu-Feng Xiu , Ruixue Wang , Chuijie Yi
Third IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture III (CCTA), Oct 2009, Beijing, China. pp.352-358, ⟨10.1007/978-3-642-12220-0_51⟩
Conference papers hal-01055427v1
Image document

Strategies of Agricultural Manufacturing Industrial Cluster Knowledge Service Platform Construction and Optimization: The Case of Shandong Province

Qiong He , Minli Yang
10th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Oct 2016, Dongying, China. pp.330-341, ⟨10.1007/978-3-030-06155-5_33⟩
Conference papers hal-02179984v1
Image document

An Intelligent Ammonia Sensor for Livestock Breeding Monitoring

Yang Wang , Zetian Fu , Lingxian Zhang , Xinxing Li , Dan Xu , et al.
7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. pp.453-460, ⟨10.1007/978-3-642-54341-8_47⟩
Conference papers hal-01220856v1
Image document

Modeling Design and Application of Low-Temperature Plasma Treatment Test Stand for Seeds before Sowing

Changyong Shao , Yong You , Guanghui Wang , Zhiqin Wang , Yan Li , et al.
7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. pp.393-400, ⟨10.1007/978-3-642-54344-9_45⟩
Conference papers hal-01220941v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

Towards Brain Computer Interfaces for Recreational Activities: Piloting a Drone

Nataliya Kos'Myna , Franck Tarpin-Bernard , Bertrand Rivet , Nataliya Kosmyna
INTERACT 2015 - 15th Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.506-522, ⟨10.1007/978-3-319-22701-6_37⟩
Conference papers hal-01492578v1
Image document

Using an enterprise architecture model for GDPR compliance principles

Gaëlle Blanco-Lainé , Jean-Sébastien Sottet , Sophie Dupuy-Chessa
12th IFIP Conference on Practice of Entreprise Modeling, POEM'2019, Nov 2020, Luxembourg, Luxembourg
Conference papers hal-02482761v1
Image document

Automated Planning to Evolve Smart Grids with Renewable Energies

Sandra Castellanos-Paez , Marie-Cecile Alvarez-Herault , Philippe Lalanda
IFIP International Workshop on Artificial Intelligence for Knowledge Management (AI4KMES), Aug 2021, Montreal, QC, Canada. pp.141-155, ⟨10.1007/978-3-030-96592-1_11⟩
Conference papers hal-04120827v2
Image document

A Classification Tool for Circular Supply Chain Indicators

Asiye Kurt , Mario Cortes-Cornax , Van-Dat Cung , Agnès Front , Fabien Mangione
IFIP Advances in Information and Communication Technology, Sep 2021, Nantes, France. pp.644-653, ⟨10.1007/978-3-030-85914-5_68⟩
Conference papers hal-03670193v1
Image document

GREP: Games for the Runtime Enforcement of Properties

Matthieu Renard , Antoine Rollet , Yliès Falcone
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers hal-01678960v1
Image document

On the Limits of the Human Motor Control Precision: the Search for a Device's Human Resolution

François Bérard , Guangyu Wang , Jeremy Cooperstock
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.107-122, ⟨10.1007/978-3-642-23771-3_10⟩
Conference papers hal-00759964v1
Image document

Numerical Simulation of the Effects of Design Parameters on the Performance of Tractor Powered Flail Choppers

Zhiqiang Zhang , Hongwen Li , Allen D. Mchugh , Jin He , Qingjie Wang , et al.
11th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Aug 2017, Jilin, China. pp.170-193, ⟨10.1007/978-3-030-06137-1_18⟩
Conference papers hal-02124266v1
Image document

Research on Method of Image Extraction for Crop Monitoring with Multi Rotor UAV

Wei Ma , Xiu Wang , Lijun Qi , Cuiling Li
10th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Oct 2016, Dongying, China. pp.489-495, ⟨10.1007/978-3-030-06155-5_50⟩
Conference papers hal-02179967v1
Image document

EFD: An efficient low-overhead scheduler

Jinbang Chen , Martin Heusse , Guillaume Urvoy-Keller
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.150-163, ⟨10.1007/978-3-642-20798-3_12⟩
Conference papers hal-00930973v1
Image document

Manufacturing Reporting Knowledge Representation: A Case Study at STMicroelectronics

Manel Brichni , Sophie Dupuy-Chessa , Lilia Gzara , Corinne Jeannet
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.34-41, ⟨10.1007/978-3-662-44739-0_5⟩
Conference papers hal-01388204v1
Image document

Coordination of ECA Rules by Verification and Control

Julio Cano , Gwenaël Delaval , Eric Rutten
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers hal-01290066v1
Image document

A Scalable Benchmark as a Service Platform

Alain Tchana , Noel de Palma , Ahmed El Rheddane , Bruno Dillenseger , Xavier Etchevers , et al.
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.113-126, ⟨10.1007/978-3-642-38541-4_9⟩
Conference papers hal-00949561v1
Image document

Kinematic Simulation of Vibrating Disc No-Till Seeder Based on Creo Software

Caiyun Lu , Zhijun Meng , Xiu Wang , Guangwei Wu , Liwei Li , et al.
10th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Oct 2016, Dongying, China. pp.134-142, ⟨10.1007/978-3-030-06155-5_13⟩
Conference papers hal-02179979v1
Image document

Investigating Mobile Banking in Mali: HCI Experience of ‘Man in the Street’

Fatoumata G. Camara , Daouda Traoré , Gaëlle Calvary , Amal Kali
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.34-42, ⟨10.1007/978-3-030-29387-1_3⟩
Conference papers hal-02553850v1
Image document

The PEW Framework for Worth Mapping

Fatoumata Camara , Gaëlle Calvary , Rachel Demumieux
INTERACT 2013, 14th IFIP TC 13 International Conference, 2013, Cape Town, South Africa. pp.667-674
Conference papers hal-00953353v1
Image document

Bringing Worth Maps a Step Further: A Dedicated Online-Resource

Fatoumata G. Camara , Gaëlle Calvary
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.95-113, ⟨10.1007/978-3-319-67687-6_8⟩
Conference papers hal-01717227v1
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

Hugues Evrard , Frédéric Lang
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers hal-00818788v1
Image document

A Case Study for Improving a Collaborative Design Process

Sophie Dupuy-Chessa , Nadine Mandran , Guillaume Godet-Bar , Dominique Rieu
ME 2011 - Working Conference on Method Engineering, Apr 2011, Paris, France. pp.97-101, ⟨10.1007/978-3-642-19997-4_10⟩
Conference papers hal-00758526v1