Publications
2007. A general framework for reasoning about inconsistency. Proceedings of the International Joint Conference on Artificial Intelligence. :599-604.
2007. Uncertainty in logic programming: Some recollections. Association for Logic Programming Newsletter. 20(2)
2008. AVA: Adjective-Verb-Adverb Combinations for Sentiment Analysis. Intelligent Systems, IEEE. 23(4):43-50.
2005. Distributed Algorithms for Dynamic Survivability of Multiagent Systems. Computational Logic in Multi-Agent SystemsComputational Logic in Multi-Agent Systems. 3259:139-144.
2006. A Scalable Multiuser Framework for Video Over OFDM Networks: Fairness and Efficiency. Circuits and Systems for Video Technology, IEEE Transactions on. 16(10):1217-1231.
2004. Distortion management of real-time MPEG-4 video over downlink multicode CDMA networks. Communications, 2004 IEEE International Conference on. 5:3071-3075Vol.5-3071-3075Vol.5.
2006. Cross-Path PDMA-Based Error Protection for Streaming Multiuser Video over Multiple Paths. Image Processing, 2006 IEEE International Conference on. :21-24.
2005. Joint uplink and downlink optimization for video conferencing over wireless LAN. Acoustics, Speech, and Signal Processing, 2005. Proceedings. (ICASSP '05). IEEE International Conference on. 2:ii/1101-ii/1104Vol.2-ii/1101-ii/1104Vol.2.
2007. Joint Uplink and Downlink Optimization for Real-Time Multiuser Video Streaming Over WLANs. Selected Topics in Signal Processing, IEEE Journal of. 1(2):280-294.
2005. Efficient bandwidth resource allocation for low-delay multiuser video streaming. Circuits and Systems for Video Technology, IEEE Transactions on. 15(9):1124-1137.
2004. Efficient bandwidth resource allocation for low-delay multiuser MPEG-4 video transmission. Communications, 2004 IEEE International Conference on. 3:1308-1312Vol.3-1308-1312Vol.3.
2004. Dynamic distortion control for 3-D embedded wavelet video over multiuser OFDM networks. Global Telecommunications Conference, 2004. GLOBECOM '04. IEEE. 2:650-654Vol.2-650-654Vol.2.
2006. Multiuser cross-layer resource allocation for video transmission over wireless networks. Network, IEEE. 20(2):21-27.
1999. On musical score recognition using probabilistic reasoning. Document Analysis and Recognition, 1999. ICDAR '99. Proceedings of the Fifth International Conference on. :115-118.
2001. Towards the ultimate motion capture technology. Deformable avatars: IFIP TC5/WG5. 10 DEFORM'2000 Workshop, November 29-30, 2000, Geneva, Switzerland and AVATARS'2000 Workshop, November 30-December 1, 2000, Lausanne, Switzerland. 68:143-143.
2005. Optimal status sets of heterogeneous agent programs. Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. :709-715.
2008. Relationships between Test Suites, Faults, and Fault Detection in GUI Testing. Software Testing, Verification, and Validation, 2008 1st International Conference on. :12-21.
2007. Faults' context matters. Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting. :112-115.
1992. On the nature of bias and defects in the software specification process. Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International. :17-24.
2007. Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst.. 29(4)