561 – 570 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2014
-
Mark
Using distant supervision to build a proposition bank
2014) The Fifth Swedish Language Technology Conference (SLTC 2014)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Revisiting the Challenges in Aligning RE and V&V: Experiences from the Public Sector
(
- Contribution to conference › Paper, not in proceeding
-
Mark
Hazard Analysis of Collision Avoidance System using STPA
2014) International Conference on Information Systems for Crisis Response and Management (ISCRAM 2014)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
Counting and Detecting Small Subgraphs via Equations
(
- Contribution to journal › Article
-
Mark
Dynamic Stackless Binary Tree Traversal
(
- Contribution to journal › Article
-
Mark
The Parity of Directed Hamiltonian Cycles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An investigation of how quality requirements are specified in industrial practice
(
- Contribution to journal › Article
-
Mark
Actor Classification using Actor Machines
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analyzing an automotive testing process with evidence-based software engineering
(
- Contribution to journal › Article
-
Mark
Synthesis and optimization of high-level stream programs
2013) The 2013 Electronic System Level Synthesis Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding