College of Engineering
Displaying works 1 - 20 of 125 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2005 chapter
Scheduling Algorithms for Unicast, Multicast, and Broadcast
In K. Sivalingam & S. Subramanian (Eds.), The International Series in Engineering and Computer Science (pp. 171–188).
Ed(s): K. Sivalingam & S. Subramanian
2005 journal article
Event-based runtime verification of java programs
ACM SIGSOFT Software Engineering Notes, 30(4), 1–7.
2005 conference paper
Efficient Monitoring of omega-Languages
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, 364–378.
2005 conference paper
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Ed(s): K. Etessami & S. Rajamani
2005 journal article
An Equational Specification for the Scheme Language
J. UCS, 11(7), 1327–1348.
2005 journal article
Routing path optimization in optical burst switched networks
2005 Conference on Optical Network Design and Modelling, Proceedings, 1–10.
2005 chapter
Path switching in OBS networks
In Networking 2005: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems (Vol. 3462, pp. 406–418).
2005 journal article
On the Application of K-Center Algorithms to Hierarchical Traffic Grooming
2nd International Conference on Broadband Networks (Broadnets 2005), 295-+.
2005 journal article
An Intra- and Inter-Domain Routing Architecture for Optical Burst Switched (OBS) Networks
2nd International Conference on Broadband Networks (Broadnets 2005), 150-+.
2005 journal article
A Framework for Hierarchical Traffic Grooming in WDM Networks of General Topology
2nd International Conference on Broadband Networks (Broadnets 2005), 167-+.
2005 conference paper
A discourse planning approach to cinematic camera control for narratives in virtual environments
Proceedings of the National Conference on Artificial Intelligence, 1, 307–312. http://www.scopus.com/inward/record.url?eid=2-s2.0-29344452737&partnerID=MN8TOARS
2005 conference paper
Towards an intelligent storyboarding tool for 3D games
ACM International Conference Proceeding Series, 265, 367–368.
2005 chapter
Natural language processing in educational systems
In H. Tanaka (Ed.), Encyclopedia of Artificial Intelligence. Tokyo, Japan: Japan Society of Artificial Intelligence.
Ed(s): H. Tanaka
2005 chapter
Instructional strategies
In H. Tanaka (Ed.), Encyclopedia of Artificial Intelligence. Tokyo, Japan: Japan Society of Artificial Intelligence.
Ed(s): H. Tanaka
2005 chapter
Explicit construction of the hilbert class fields of imaginary quadratic fields with class numbers 7 and 11
In EUROSAM 84 (pp. 310–320).
2005 journal article
Optical burst switching for the next generation Internet
IEEE Potentials, 23(5), 40–43.
2005 report
Parallelization of Utility Programs Based on Behavior Phase Analysis
(No. TR876). Rochester, NY: Computer Science Dept., University of Rochester.
2005 chapter
Internet-Based Games
In M. P. Singh (Ed.), The Practical Handbook of Internet Computing.
Ed(s): M. Singh
2005 conference paper
Multiagent System for Dynamic Web Services Selection
Proceedings of the AAMAS Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE), 1–10. Utrecht, The Netherlands: AAMAS.
2005 conference paper
Proceedings of the 4th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS)
Utrecht, The Netherlands: ACM Press.
Ed(s): F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. Singh & M. Wooldridge