Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
Grundstrom EL, Reggia JA.  1996.  Learning Activation Rules Rather Than Connection Weights. International journal of neural systems. 7(2):129-148.
Gruser J, Raschid L, Vidal ME, Bright L.  1998.  Wrapper generation for Web accessible data sources. 3rd IFCIS International Conference on Cooperative Information Systems, 1998. Proceedings. :14-23.
Gruser JR, Raschid L, Zadorozhny V, Zhan T.  2000.  Learning response time for websources using query feedback and application in query optimization. The VLDB Journal—The International Journal on Very Large Data Bases. 9(1):18-37.
Grushin A, Reggia JA.  2005.  Evolving processing speed asymmetries and hemispheric interactions in a neural network model. Neurocomputing. 65:47-53.
Grushin A, Reggia JA.  2010.  Parsimonious rule generation for a nature-inspired approach to self-assembly. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 5(3):1-24.
Grushin A, Reggia JA.  2008.  Automated design of distributed control rules for the self-assembly of prespecified artificial structures. Robotics and Autonomous Systems. 56(4):334-359.
Grushin A, Reggia JA.  2006.  Stigmergic self-assembly of prespecified artificial structures in a constrained and continuous environment. Integrated Computer-Aided Engineering. 13(4):289-312.
Gu R, Bhattacharyya SS, Levine WS.  2010.  Methods for efficient implementation of Model Predictive Control on multiprocessor systems. 2010 IEEE International Conference on Control Applications (CCA). :1357-1362.
Gu P.  2005.  PROTOTYPING THE SIMULATION OF A GATE LEVEL LOGIC APPLICATION PROGRAM INTERFACE (API) ON AN EXPLICIT-MULTI-THREADED (XMT) COMPUTER.
Gu R, Piat J, Raulet M, Janneck JW, Bhattacharyya SS.  2010.  Automated generation of an efficient MPEG-4 Reconfigurable Video Coding decoder implementation. 2010 Conference on Design and Architectures for Signal and Image Processing (DASIP). :265-272.
Gu P, Vishkin U.  2006.  Case study of gate-level logic simulation on an extremely fine-grained chip multiprocessor. Journal of Embedded Computing. 2(2):181-190.
Gu R, Janneck JW, Raulet M, Bhattacharyya SS.  2011.  Exploiting Statically Schedulable Regions in Dataflow Programs. Journal of Signal Processing Systems. 63(1):129-142.
Guerra Gómez J, Wongsuphasawat K, Wang TD, Pack M, Plaisant C.  2011.  Analyzing Incident Management Event Sequences with Interactive Visualization. Transportation Research Board 90th Annual Meeting Compendium of Papers.
Guerra-Filho G, Aloimonos Y.  2006.  A Sensory-Motor Language for Human Activity Understanding. 2006 6th IEEE-RAS International Conference on Humanoid Robots. :69-75.
Guerra-Filho G, Aloimonos Y.  2006.  Towards a sensorimotor WordNet SM: Closing the semantic gap. Proc. of the International WordNet Conference (GWC).
Guerra-Filho G, Fermüller C, Aloimonos Y.  2005.  Discovering a language for human activity. Proceedings of the AAAI 2005 Fall Symposium on Anticipatory Cognitive Embodied Systems, Washington, DC.
Guerra-Filho G, Aloimonos Y.  2006.  Human activity language: Grounding concepts with a linguistic framework. Semantic Multimedia. :86-100.
Guerra-Filho G, Aloimonos Y.  2007.  A Language for Human Action. Computer. 40(5):42-51.
Guerra‐Filho G, Aloimonos Y.  2006.  Understanding visuo‐motor primitives for motion synthesis and analysis. Computer Animation and Virtual Worlds. 17(3‐4):207-217.
Guha S, Khuller S.  1998.  Greedy strikes back: improved facility location algorithms. Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. :649-657.
Guha S, Khuller S.  1999.  Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets. Information and Computation. 150(1):57-74.
Guha S, Khuller S.  1998.  Approximation algorithms for connected dominating sets. Algorithmica. 20(4):374-387.
Guha ML, Druin A, Chipman G, Fails JA, Simms S, Farber A.  2004.  Mixing ideas: a new technique for working with young children as design partners. Proceedings of the 2004 conference on Interaction design and children: building a community. :35-42.
Guha ML, Druin A, Fails JA.  2010.  Investigating the impact of design processes on children. Proceedings of the 9th International Conference on Interaction Design and Children. :198-201.
Guha ML, Druin A, Montemayor J, Chipman G, Farber A.  2007.  A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.

Pages