121 – 130 of 518
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
Mark
An exploratory study on how Internet of Things developing companies handle User Experience Requirements
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.20-36(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Teaching without learning : Is it OK With weak AI?
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10948 LNAI. p.241-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Do preschoolers ‘Game the system’? : a case study of children’s intelligent (Mis)use of a teachable agent based play-&-learn game in mathematics
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.557-569(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Perseverance Is crucial for learning. “OK! but Can I take a break?”
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.532-544(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trust Anchors in Software Defined Networks
2018) European Symposium on Research in Computer Security In Lecture Notes in Computer Science 11009. p.485-505(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design for me?
2018) 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10896 LNCS. p.93-99(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A taxonomy of deviant encodings
2018) 14th Conference on Computability in Europe, CiE 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10936 LNCS. p.338-348(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
QREME – Quality requirements management model for supporting decision-making
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.173-188(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding