|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 171 occurrences of 90 keywords
|
|
|
Results
Found 134 publication records. Showing 134 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Jacob O. Wobbrock, Brad A. Myers, John A. Kembel |
EdgeWrite: a stylus-based text entry method designed for high accuracy and stability of motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 16th Annual ACM Symposium on User Interface Software and Technology, Vancouver, Canada, November 2-5, 2003, pp. 61-70, 2003, ACM, 1-58113-636-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
assistive technology, PDAs, gesture recognition, text entry, edges, handhelds, text input, pebbles, motor impairments, unistrokes, corners, palm, Palm, computer access, graffiti |
22 | Jeffrey Nichols 0001, Brad A. Myers, Thomas K. Harris, Roni Rosenfeld, Stefanie Shriver, Michael Higgins, Joseph Hughes |
Requirements for Automatically Generating Multi-Modal Interfaces for Complex Appliances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: 4th IEEE International Conference on Multimodal Interfaces (ICMI 2002), 14-16 October 2002, Pittsburgh, PA, USA, pp. 377-382, 2002, IEEE Computer Society, 0-7695-1834-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Universal Speech Interface (USI), speech recognition, personal digital assistants (PDAs), remote controls, handheld computers, Multi-modal interfaces, Pebbles, appliances, Personal Universal Controller (PUC) |
22 | Brad A. Myers, Jacob O. Wobbrock, Sunny Yang, Brian Yeung, Jeffrey Nichols 0001, Robert C. Miller |
Using handhelds to help people with motor impairments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the ACM Conference on Assistive Technologies, ASSETS 2002, Edinburgh, Scotland, UK, July 8-10, 2002, pp. 89-96, 2002, ACM, 1-58113-464-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Muscular Dystrophy, assistive technologies, Personal Digital Assistants (PDAs), disabilities, Pebbles, handicapped, hand-held computers, Palm pilot |
22 | Jeffrey Nichols 0001 |
Informing automatic generation of remote control interfaces with human designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, CHI 2002, Minneapolis, Minnesota, USA, April 20-25, 2002, pp. 864-865, 2002, ACM, 1-58113-454-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
personal digital assistants (PDAs), remote control, handheld computers, pebbles, appliances |
22 | Brad A. Myers, Rishi Bhatnagar, Jeffrey Nichols 0001, Choon Hong Peck, Dave Kong, Robert C. Miller, A. Chris Long |
Interacting at a distance: measuring the performance of laser pointers and other devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the CHI 2002 Conference on Human Factors in Computing Systems: Changing our World, Changing ourselves, Minneapolis, Minnesota, USA, April 20-25, 2002., pp. 33-40, 2002, ACM, 1-58113-453-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
user studies, interaction techniques, input devices, handhelds, pebbles, laser pointers, remote interaction, palm pilots |
22 | Jeffrey Nichols 0001, Brad A. Myers, Michael Higgins, Joseph Hughes, Thomas K. Harris, Roni Rosenfeld, Mathilde Pignol |
Generating remote control interfaces for complex appliances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, Paris, France, October 27-30, 2002, pp. 161-170, 2002, ACM, 1-58113-488-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
universal speech interface (USI), personal digital assistants (PDAs), remote control, handheld computers, pebbles, appliances, personal universal controller (PUC) |
22 | Brad A. Myers, Kin Pou Lie, Bo-Chieh Yang |
Two-handed input using a PDA and a mouse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the CHI 2000 Conference on Human factors in computing systems, The Hague, The Netherlands, April 1-6, 2000., pp. 41-48, 2000, ACM, 1-58113-216-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Internet, ubiquitous computing, personal digital assistant (PDAs), smart environments, pebbles, two-handed input, Windows CE, hand-held computers, Palm Pilot |
22 | Robert C. Miller, Brad A. Myers |
Synchronizing Clipboards of Multiple Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, UIST 1999, Asheville, North Carolina, USA, November 7-10, 1999, pp. 65-66, 1999, ACM, 1-58113-075-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
network clipboard, pick-and-drop, synchronized clipboard, Java, distributed systems, ubiquitous computing, data transfer, Pebbles, drag-and-drop, file transfer |
22 | Brad A. Myers, Herb Stiel, Robert Gargiulo |
Collaboration Using Multiple PDAs Connected to a PC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '98, Proceedings of the ACM 1998 Conference on Computer Supported Cooperative Work, Seattle, WA, USA, November 14-18, 1998, pp. 285-294, 1998, ACM, 1-58113-009-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
PalmPilot, amulet, personal digital assistants, single display groupware, pebbles |
16 | Winslow Burleson, Camilla Nørgaard Jensen |
Slow computing gifts (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 4th International Conference on Tangible and Embedded Interaction 2010, Cambridge, MA, USA, January 24-27, 2010, pp. 376, 2010, ACM, 978-1-60558-841-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Tony Tan |
Graph Reachability and Pebble Automata over Infinite Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 157-166, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tony Tan |
On Pebble Automata for Data Languages with Decidable Emptiness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 712-723, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ulrich Schöpp |
A Formalised Lower Bound on Undirected Graph Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 621-635, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mikolaj Bojanczyk |
Tree-Walking Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, pp. 1-2, 2008, Springer, 978-3-540-88281-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Phillip G. Bradford, Daniel A. Ray |
Using Digital Chains of Custody on Constrained Devices to Verify Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: IEEE International Conference on Intelligence and Security Informatics, ISI 2007, New Brunswick, New Jersey, USA, May 23-24, 2007, Proceedings, pp. 8-15, 2007, IEEE, 1-4244-1329-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Demri, Ranko Lazic 0001 |
LTL with the Freeze Quantifier and Register Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 17-26, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Evan Goris, Maarten Marx |
Looping Caterpillars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 51-60, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alexei Lisitsa 0001, Igor Potapov |
Temporal Logic with Predicate lambda-Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp. 147-155, 2005, IEEE Computer Society, 0-7695-2370-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jonas Svennebring, Sven Koenig |
Building Terrain-Covering Ant Robots: A Feasibility Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 16(3), pp. 313-332, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ant robotics, pheromone trails, robot hardware, terrain coverage, mobile robotics, real-time search |
16 | Brad A. Myers, Jeffrey Nichols 0001, Jacob O. Wobbrock, Robert C. Miller |
Taking Handheld Devices to the Next Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 37(12), pp. 36-43, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Albert Atserias |
On sufficient conditions for unsatisfiability of random formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(2), pp. 281-311, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Random CNF formulas, propositional resolution, satisfiability, datalog, phase transitions, pebble games |
16 | Joost Engelfriet, Sebastian Maneth |
A comparison of pebble tree transducers with macro tree transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(9), pp. 613-698, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Yossi Matias, Ely Porat |
Efficient Pebbling for List Traversal Synopses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 918-928, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Vito Di Gesù, Francesco Isgrò, Domenico Tegolo, Emanuele Trucco |
Finding essential features for tracking starfish in a video sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: 12th International Conference on Image Analysis and Processing (ICIAP 2003), 17-19 September 2003, Mantova, Italy, pp. 504-509, 2003, IEEE Computer Society, 0-7695-1948-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Lukasz Krzeszczakowski |
Pebble Games on Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 359-371, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Parikshit Gopalan, Richard J. Lipton, Aranyak Mehta |
Randomized Time-Space Tradeoffs for Directed Graph Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 208-216, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kousha Etessami |
A Hierarchy of Polynomial-Time Computable Simulations for Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 131-144, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Roel van der Goot |
Awari Retrograde Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers, pp. 87-95, 2000, Springer, 3-540-43080-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Retrograde Analysis, Awari, endgame database |
16 | Sandeep N. Bhatt, Shimon Even, David S. Greenberg, Rafi Tayar |
Traversing Directed Eulerian Mazes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 26th International Workshop, WG 2000, Konstanz, Germany, June 15-17, 2000, Proceedings, pp. 35-46, 2000, Springer, 3-540-41183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Xiangdong Yu, Moti Yung |
Agent Rendezvous: A Dynamic Symmetry-Breaking Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 610-621, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Jagannathan Narasimham, Kazuo Nakajima, Chong S. Rim, Anton T. Dahbura |
Yield enhancement of programmable ASIC arrays by reconfiguration of circuit placements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(8), pp. 976-986, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | L. Paul Chew, Robert L. (Scot) Drysdale III |
Voronoi diagrams based on convex distance functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the First Annual Symposium on Computational Geometry, Baltimore, Maryland, USA, June 5-7, 1985, pp. 235-244, 1985, ACM, 0-89791-163-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Claude Raoult, Ravi Sethi |
The Global Storage Needs of a Subcomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 148-157, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Lingas |
A PSPACE Complete Problem Related to a Pebble Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings, pp. 300-321, 1978, Springer, 3-540-08860-1. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
dag, completeness in polynomial space, computational complexity, PSPACE, pebble game, AND/OR graph |
Displaying result #101 - #134 of 134 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|