551 – 560 of 1704
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2014
-
Mark
Using semantic role labeling to predict answer types
2014) the 7th International Workshop on Exploiting Semantic Annotations in Information Retrieval, ESAIR ’14 p.29-31(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Syntactic Features in Answer Reranking
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Entity Linking: A Preliminary Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Long Proofs of (Seemingly) Simple Formulas
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.121-137(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A (biased) proof complexity survey for SAT practitioners
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.1-6(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From small space to small width in resolution
2014) 31st International Symposium on Theoretical Aspects of Computer Science, STACS 2014 In Leibniz International Proceedings in Informatics, LIPIcs 25. p.300-311(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Narrow proofs may be maximally long
2014) 29th Annual IEEE Conference on Computational Complexity, CCC 2014 In Proceedings of the Annual IEEE Conference on Computational Complexity p.286-297(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Keyed logic BIST for Trojan detection in SoC
2014) 2014 16th International Symposium on System-on-Chip, SoC 2014 In 2014 International Symposium on System-on-Chip, SoC 2014(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Second-order constraints in dynamic invariant inference
2014) Software Engineering 2014 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P227. p.93-94(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Schedulability analysis of Ethernet AVB switches
2014) 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2014(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding