Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1996. Learning Activation Rules Rather Than Connection Weights. International journal of neural systems. 7(2):129-148.
1998. Wrapper generation for Web accessible data sources. 3rd IFCIS International Conference on Cooperative Information Systems, 1998. Proceedings. :14-23.
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.
2005. Evolving processing speed asymmetries and hemispheric interactions in a neural network model. Neurocomputing. 65:47-53.
2010. Parsimonious rule generation for a nature-inspired approach to self-assembly. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 5(3):1-24.
2008. Automated design of distributed control rules for the self-assembly of prespecified artificial structures. Robotics and Autonomous Systems. 56(4):334-359.
2006. Stigmergic self-assembly of prespecified artificial structures in a constrained and continuous environment. Integrated Computer-Aided Engineering. 13(4):289-312.
2010. Methods for efficient implementation of Model Predictive Control on multiprocessor systems. 2010 IEEE International Conference on Control Applications (CCA). :1357-1362.
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.
2006. Case study of gate-level logic simulation on an extremely fine-grained chip multiprocessor. Journal of Embedded Computing. 2(2):181-190.
2011. Exploiting Statically Schedulable Regions in Dataflow Programs. Journal of Signal Processing Systems. 63(1):129-142.
2011. Analyzing Incident Management Event Sequences with Interactive Visualization. Transportation Research Board 90th Annual Meeting Compendium of Papers.
2006. A Sensory-Motor Language for Human Activity Understanding. 2006 6th IEEE-RAS International Conference on Humanoid Robots. :69-75.
2006. Towards a sensorimotor WordNet SM: Closing the semantic gap. Proc. of the International WordNet Conference (GWC).
2005. Discovering a language for human activity. Proceedings of the AAAI 2005 Fall Symposium on Anticipatory Cognitive Embodied Systems, Washington, DC.
2006. Human activity language: Grounding concepts with a linguistic framework. Semantic Multimedia. :86-100.
2006. Understanding visuo‐motor primitives for motion synthesis and analysis. Computer Animation and Virtual Worlds. 17(3‐4):207-217.
1998. Greedy strikes back: improved facility location algorithms. Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. :649-657.
1999. Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets. Information and Computation. 150(1):57-74.
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.
2010. Investigating the impact of design processes on children. Proceedings of the 9th International Conference on Interaction Design and Children. :198-201.
2007. A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.