Publications
Export 124 results:
Author Title [ Type] Year Filters: Keyword is Computer science [Clear All Filters]
2007. Towards the development of a virtual environment-based training system for mechanical assembly operations. Virtual Reality. 11(4):189-206.
2009. Techniques to audit and certify the long-term integrity of digital archives. International Journal on Digital Libraries. 10(2):123-131.
2001. The one-inclusion graph algorithm is near-optimal for the prediction model of learning. IEEE Transactions on Information Theory. 47(3):1257-1261.
1982. The Logical Access Path Schema of a Database. IEEE Transactions on Software Engineering. SE-8(6):563-573.
1991. Incremental implementation model for relational databases with transaction time. IEEE Transactions on Knowledge and Data Engineering. 3(4):461-473.
2003. IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment. Annals of Mathematics and Artificial Intelligence. 37(4):381-407.
2008. Guest Editors' Introduction to the Special Section on Algorithms in Bioinformatics. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 5(4):482-483.
1995. Going beyond integer programming with the Omega test to eliminate false data dependences. IEEE Transactions on Parallel and Distributed Systems. 6(2):204-211.
2004. End-to-end analysis of distributed video-on-demand systems. IEEE Transactions on Multimedia. 6(1):129-141.
1988. An efficient pictorial database system for PSQL. IEEE Transactions on Software Engineering. 14(5):639-650.
2007. Efficient lookup on unstructured topologies. IEEE Journal on Selected Areas in Communications. 25(1):62-72.
2007. Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10^30,000 worlds. Annals of Mathematics and Artificial Intelligence. 51(2):295-331.
1995. Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
2005. Class-based access control for distributed video-on-demand systems. IEEE Transactions on Circuits and Systems for Video Technology. 15(7):844-853.
2012. Automated synthesis of action selection policies for unmanned vehicles operating in adverse environments. Autonomous Robots. 32(2):149-164.
1990. When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
2000. Visualization methods for personal photo collections: browsing and searching in the PhotoFinder. 2000 IEEE International Conference on Multimedia and Expo, 2000. ICME 2000. 3:1539-1542vol.3-1539-1542vol.3.
2006. A Visual Interface for Multivariate Temporal Data: Finding Patterns of Events across Multiple Histories. Visual Analytics Science And Technology, 2006 IEEE Symposium On. :167-174.
2003. User-specified adaptive scheduling in a streaming media network. 2003 IEEE Conference on Open Architectures and Network Programming. :87-96.
2004. Unobtrusiveness and efficiency in idle cycle stealing for PC grids. Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International.