Filter your results
- 731
- 25
- 729
- 2
- 730
- 130
- 1
- 1
- 16
- 27
- 688
- 731
- 7
- 6
- 6
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 16
- 9
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 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
- 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
|
|
Development Tools for Rule-Based Coordination Programming in LINC19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩
Conference papers
cea-01531019v1
|
||
|
|
Verifying Timed BPMN Processes Using Maude19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
Conference papers
hal-01538104v1
|
||
|
|
Session-Based Concurrency, Reactively37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩
Conference papers
hal-01566466v1
|
||
|
|
Debugging of Concurrent Systems using Counterexample Analysis7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Conference papers
hal-01533401v2
|
||
|
|
Some Computational Limits of Trellis Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.176-186, ⟨10.1007/978-3-319-58631-1_14⟩
Conference papers
hal-01578301v1
|
||
|
|
Distributed Random Process for a Large-Scale Peer-to-Peer Lottery17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.34-48, ⟨10.1007/978-3-319-59665-5_3⟩
Conference papers
hal-01583824v1
|
||
|
|
Horizontal vs. Vertical: How the Orientation of a Large Interactive Surface Impacts Collaboration in Multi-Surface Environments16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.202-222, ⟨10.1007/978-3-319-67687-6_14⟩
Conference papers
hal-01597913v1
|
||
|
|
Scalable Anti-KNN: Decentralized Computation of k-Furthest-Neighbor Graphs with HyFN17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.101-114, ⟨10.1007/978-3-319-59665-5_7⟩
Conference papers
hal-01617211v1
|
||
|
|
Filament: A Cohort Construction Service for Decentralized Collaborative Editing Platforms17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.146-16, ⟨10.1007/978-3-319-59665-5_11⟩
Conference papers
hal-01617214v1
|
||
|
|
Retractable and Speculative Contracts19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Conference papers
hal-01633262v1
|
||
|
|
Information-Theoretic Analysis of Human Performance for Command Selection16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.515-524, ⟨10.1007/978-3-319-67687-6_35⟩
Conference papers
hal-01643924v1
|
||
|
|
NMF in Screening Some Spirometric Data, an Insight into 12-Dimensional Data Space16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.155-166, ⟨10.1007/978-3-319-59105-6_14⟩
Conference papers
hal-01656197v1
|
||
|
|
Smart Building Climate Control Considering Indoor and Outdoor Parameters16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.412-422, ⟨10.1007/978-3-319-59105-6_35⟩
Conference papers
hal-01656198v1
|
||
|
|
Context Driven Approach for Enterprise Architecture Framework16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.277-289, ⟨10.1007/978-3-319-59105-6_24⟩
Conference papers
hal-01656199v1
|
||
|
|
Sparse Random Projections of Camera Images for Monitoring of a Combustion Process in a Gas Burner16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.447-456, ⟨10.1007/978-3-319-59105-6_38⟩
Conference papers
hal-01656200v1
|
||
|
|
Evaluation of Chord and Chroma Features and Dynamic Time Warping Scores on Cover Song Identification Task16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.205-217, ⟨10.1007/978-3-319-59105-6_18⟩
Conference papers
hal-01656201v1
|
||
|
|
Maximization of Attractiveness EV Tourist Routes16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.514-525, ⟨10.1007/978-3-319-59105-6_44⟩
Conference papers
hal-01656202v1
|
||
|
|
Task Allocation Strategies for FPGA Based Heterogeneous System on Chip16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.341-353, ⟨10.1007/978-3-319-59105-6_29⟩
Conference papers
hal-01656204v1
|
||
|
|
Sequential Purchase Recommendation System for E-Commerce Sites16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.366-375, ⟨10.1007/978-3-319-59105-6_31⟩
Conference papers
hal-01656206v1
|
||
|
|
Detection of ‘Orange Skin’ Type Surface Defects in Furniture Elements with the Use of Textural Features16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.402-411, ⟨10.1007/978-3-319-59105-6_34⟩
Conference papers
hal-01656207v1
|
||
|
|
Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.73-84, ⟨10.1007/978-3-319-59105-6_7⟩
Conference papers
hal-01656208v1
|
||
|
|
Gesture Recognition in 3D Space Using Dimensionally Reduced Set of Features16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.167-179, ⟨10.1007/978-3-319-59105-6_15⟩
Conference papers
hal-01656209v1
|
||
|
|
A Multi-agent System Model for the Personal Rapid Transit System16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.492-501, ⟨10.1007/978-3-319-59105-6_42⟩
Conference papers
hal-01656211v1
|
||
|
|
Object Classification Using Sequences of Zernike Moments16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.99-109, ⟨10.1007/978-3-319-59105-6_9⟩
Conference papers
hal-01656212v1
|
||
|
|
Risk Assessment in a Parallel Production System with the Use of FMEA Method and Linguistic Variables16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.379-390, ⟨10.1007/978-3-319-59105-6_32⟩
Conference papers
hal-01656214v1
|
||
|
|
Developing Countermeasures against Cloning of Identity Tokens in Legacy Systems16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.672-684, ⟨10.1007/978-3-319-59105-6_58⟩
Conference papers
hal-01656215v1
|
||
|
|
Productivity Oriented Cooperative Approach to Scheduling IT Project Tasks16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.354-365, ⟨10.1007/978-3-319-59105-6_30⟩
Conference papers
hal-01656216v1
|
||
|
|
Fractional-Order Linear Systems Modeling in Time and Frequency Domains16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.502-513, ⟨10.1007/978-3-319-59105-6_43⟩
Conference papers
hal-01656217v1
|
||
|
|
SVM Kernel Configuration and Optimization for the Handwritten Digit Recognition16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.87-98, ⟨10.1007/978-3-319-59105-6_8⟩
Conference papers
hal-01656218v1
|
||
|
|
Clustering of Mobile Subscriber’s Location Statistics for Travel Demand Zones Diversity16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.315-326, ⟨10.1007/978-3-319-59105-6_27⟩
Conference papers
hal-01656219v1
|