Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SMUS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2023 (12)
Publication types (Num. hits)
article(2) inproceedings(10)
Venues (Conferences, Journals, ...)
CHI Extended Abstracts(3) ACL (demo)(1) CHI(1) Constraints An Int. J.(1) CoRR(1) ICWSM(1) ISWC(1) SAT(1) UbiComp (Adjunct Papers)(1) UIST(1)
Authors
Boris Smus(11) Aniket Kittur(3) Aaron Donsbach(2) Abigail Evans(2) Daniel J. Liebling(2) Inês Lynce(2) Jess Holbrook(2) João Marques-Silva 0001(2) Karem A. Sakallah(2) Lindsey Boran(2) Maher N. Mneimneh(2) Michal Lahav(2) Robert E. Kraut(2) Vassilis Kostakos(2) Zaher S. Andraus(2) Alex Olwal(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
155Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva 0001, Karem A. Sakallah A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability
89Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva 0001, Karem A. Sakallah A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Xingyu Bruce Liu, Jun Zhang, Leonardo Ferrer, Susan Xu, Vikas Bahirwani, Boris Smus, Alex Olwal, Ruofei Du Modeling and Improving Text Stability in Live Captions. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Daniel J. Liebling, Michal Lahav, Abigail Evans, Aaron Donsbach, Jess Holbrook, Boris Smus, Lindsey Boran Unmet Needs and Opportunities for Mobile Translation AI. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
41Daniel J. Liebling, Michal Lahav, Abigail Evans, Aaron Donsbach, Jess Holbrook, Boris Smus, Lindsey Boran Unmet Needs and Opportunities for Mobile Translation AI. Search on Bibsonomy CHI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
41Ben Swanson, Boris Smus Usnea: An Authorship Tool for Interactive Fiction using Retrieval Based Semantic Parsing. Search on Bibsonomy ACL (demo) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
41Boris Smus, Christopher J. Riederer Magnetic input for mobile virtual reality. Search on Bibsonomy ISWC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
41Aniket Kittur, Boris Smus, Robert E. Kraut CrowdForge: crowdsourcing complex work. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
41Aniket Kittur, Boris Smus, Susheel Khamkar, Robert E. Kraut CrowdForge: crowdsourcing complex work. Search on Bibsonomy UIST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
41Jakob Rogstadius, Vassilis Kostakos, Aniket Kittur, Boris Smus, Jim Laredo, Maja Vukovic An Assessment of Intrinsic and Extrinsic Motivation on Task Performance in Crowdsourcing Markets. Search on Bibsonomy ICWSM The full citation details ... 2011 DBLP  BibTeX  RDF
41Boris Smus, Vassilis Kostakos Running gestures: hands-free interaction during physical activity. Search on Bibsonomy UbiComp (Adjunct Papers) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
41Boris Smus, Mark D. Gross Ubiquitous drums: a tangible, wearable musical interface. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF percussion, interaction techniques, tangible interfaces, musical instrument
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license