Filter your results
- 773
- 23
- 773
- 773
- 119
- 2
- 2
- 1
- 20
- 753
- 773
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 2
|
|
Building Domain Specific Sentiment Lexicons Combining Information from Many Sentiment Lexicons and a Domain Specific Corpus5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.205-216, ⟨10.1007/978-3-319-19578-0_17⟩
Conference papers
hal-01789974v1
|
||
|
|
Social Interaction Design Patterns for Urban Media Architecture15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.596-613, ⟨10.1007/978-3-319-22698-9_41⟩
Conference papers
hal-01609400v1
|
||
|
|
An Energy-Efficient Fault-Tolerant Scheduling Algorithm Based on Variable Data Fragmentation5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.491-502, ⟨10.1007/978-3-319-19578-0_40⟩
Conference papers
hal-01789973v1
|
||
|
|
Uncovering Document Fraud in Maritime Freight Transport Based on Probabilistic Classification14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.282-293, ⟨10.1007/978-3-319-24369-6_23⟩
Conference papers
hal-01444472v1
|
||
|
|
Private-Collective Innovation and Open Source Software: Longitudinal Insights from Linux Kernel Development14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.299-313, ⟨10.1007/978-3-319-25013-7_24⟩
Conference papers
hal-01448048v1
|
||
|
|
Towards Smart Systems of Systems6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.1-29, ⟨10.1007/978-3-319-24644-4_1⟩
Conference papers
hal-01446606v1
|
||
|
|
Automated Integration of Service-Oriented Software Systems6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.30-45, ⟨10.1007/978-3-319-24644-4_2⟩
Conference papers
hal-01446609v1
|
||
|
|
A Multi-modal System for Public Speaking15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.499-501, ⟨10.1007/978-3-319-22723-8_47⟩
Conference papers
hal-01610865v1
|
||
|
|
Smartphone-Based Gait Measurement Application for Exercise and Its Effects on the Lifestyle of Senior Citizens15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.80-98, ⟨10.1007/978-3-319-22698-9_7⟩
Conference papers
hal-01609403v1
|
||
|
|
Face Recognition Performance Comparison Between Real Faces and Pose Variant Face Images from Image Display Device3rd International Conference on Information and Communication Technology-EurAsia (ICT-EURASIA) and 9th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Oct 2015, Daejon, South Korea. pp.229-234, ⟨10.1007/978-3-319-24315-3_23⟩
Conference papers
hal-01466224v1
|
||
|
|
Time-Dependent Route Planning for the Highways in the Czech Republic14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.145-153, ⟨10.1007/978-3-319-24369-6_12⟩
Conference papers
hal-01444461v1
|
||
|
|
Modeling for Policy Formulation: Causal Mapping, Scenario Generation, and Decision Evaluation7th International Conference on Electronic Participation (ePart), Aug 2015, Thessaloniki, Greece. pp.135-146, ⟨10.1007/978-3-319-22500-5_11⟩
Conference papers
hal-01587633v1
|
||
|
|
Early Warning Systems for Cyber DefenceInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.29-42, ⟨10.1007/978-3-319-39028-4_3⟩
Conference papers
hal-01445791v1
|
||
|
|
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.159-175, ⟨10.1007/978-3-319-24644-4_11⟩
Conference papers
hal-01446598v1
|
||
|
|
Software Model Creation with Multidimensional UML3rd International Conference on Information and Communication Technology-EurAsia (ICT-EURASIA) and 9th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Oct 2015, Daejon, South Korea. pp.343-352, ⟨10.1007/978-3-319-24315-3_35⟩
Conference papers
hal-01466235v1
|
||
|
|
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩
Conference papers
hal-01446603v1
|
||
|
|
Take Command of Your Constraints!17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩
Conference papers
hal-01774935v1
|
||
|
|
Interactive Digital Gameplay Can Lower Stress Hormone Levels in Home Alone Dogs — A Case for Animal Welfare Informatics14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.238-251, ⟨10.1007/978-3-319-24589-8_18⟩
Conference papers
hal-01758456v1
|
||
|
|
USING INTERNAL MySQL/InnoDB B-TREE INDEX NAVIGATION FOR DATA HIDING11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.179-194, ⟨10.1007/978-3-319-24123-4_11⟩
Conference papers
hal-01449058v1
|
||
|
|
Identification in E-Participation: Between Quality of Identification Data and Participation Threshold7th International Conference on Electronic Participation (ePart), Aug 2015, Thessaloniki, Greece. pp.108-119, ⟨10.1007/978-3-319-22500-5_9⟩
Conference papers
hal-01587632v1
|
||
|
|
The Influence of Motivation on Emotional Experience in E-commerce15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.281-288, ⟨10.1007/978-3-319-22701-6_20⟩
Conference papers
hal-01599636v1
|
||
|
|
Registration and Sequencing of Vessels Section Images at Macroscopic Levels14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.399-410, ⟨10.1007/978-3-319-24369-6_33⟩
Conference papers
hal-01444483v1
|
||
|
|
Optimization and Verification of the TR-MAC Protocol for Wireless Sensor Networks13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.396-410, ⟨10.1007/978-3-319-22572-2_29⟩
Conference papers
hal-01728822v1
|
||
|
|
Characterizing the IPv6 Security Landscape by Large-Scale Measurements9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.145-149, ⟨10.1007/978-3-319-20034-7_16⟩
Conference papers
hal-01410164v1
|
||
|
|
Virtual Buttons for Eyes-Free Interaction: A Study15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.47-54, ⟨10.1007/978-3-319-22701-6_4⟩
Conference papers
hal-01599662v1
|
||
|
|
Catching Inside Attackers: Balancing Forensic Detectability and Privacy of EmployeesInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.43-55, ⟨10.1007/978-3-319-39028-4_4⟩
Conference papers
hal-01445792v1
|
||
|
|
Faster Linearizability Checking via P-Compositionality35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.50-65, ⟨10.1007/978-3-319-19195-9_4⟩
Conference papers
hal-01767332v1
|
||
|
|
Optimizing Deployment Cost in Camera-Based Wireless Sensor Networks5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.454-464, ⟨10.1007/978-3-319-19578-0_37⟩
Conference papers
hal-01789949v1
|
||
|
|
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers
hal-01202799v1
|
||
|
|
ZENse - Supporting Everyday Emotional Reflection15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.448-455, ⟨10.1007/978-3-319-22723-8_36⟩
Conference papers
hal-01610797v1
|