UB - University at Buffalo, The State University of New York Computer Science and Engineering

CSE Technical Reports

2014-03
Morse, Matthew ; Hartloff, Jesse ; Effland, Thomas ; Schuler, Jim ; Cordaro, Jennifer ; Tulyakov, Sergey ; Rudra, Atri ; Govindaraju, Venu. Secure Fingerprint Matching With Generic Local Structures, April 1, 2014.
2014-02
Das, Pradipto; Srihari, Rohini K.; Corso, Jason J.. NATURAL LANGUAGE SUMMARIZATION OF TEXT AND VIDEOS USING TOPIC MODELS, March 26, 2014.
2014-01
Yang, Zhi; Chandola, Varun. Non-parametric Depth Estimation for Images from a Single Reference Depth, February 28, 2014.
2013-04
Manuel, D.; Nanjundaswamy, V.; Rosenberg, B.; Shen, F.; Ko, S.; Ziarek, L.. Flow Permissions for Android, August 29, 2013.
2013-03
Kennedy, Oliver A; Ziarek, Lukasz. BarQL: Collaborating Through Change, August 20, 2013.
2013-02
Zhao, Yangming; Qiao, Chunming; Xiao, Xun; Zhong, Sheng; Wang, Jianping; Wang, Sheng. Mobility-Enabled Topology Control and Routing to Defend MANETs based on Game Theoretic Analysis, July 26, 2013.
2013-01
Duan, Qi; Virendra, Mohit; Upadhyaya, Shambhu; Sanzgiri, Ameya. Minimum Cost Blocking Problem in Multi-path Wireless Routing Protocols, February 12, 2013.
2012-05
Hartlo ff, Jesse ; Bileschi, Maxwell ; Tulyakov, Sergey ; Dobler, Jimmy ; Rudra, Atri ; Govindaraju, Venu . Security analysis for fingerprint fuzzy vaults, December 21, 2012.
2012-04
Demirbas, M; Yilmaz, Y. S.; Bulut, M. F.. Eywa: Crowdsourced and cloudsourced omniscience, December 18, 2012.
2012-02
Qiao, Chunming; Gao, Xiujiao; Zhao, Yangming; Wang, Sheng; Xu, Shizhong; Wang, Xiong. Load Balance vs Energy Efficiency in Traffic Engineering: A Game Theoretical Perspective, July 27, 2012.
2012-01
Demirbas, M.; Tasci, S.; Kulkarni, S.. Maestro: A cloud computing framework with automated locking}, April 20, 2012.
2011-06
Homer, Steven; Selman, Alan L.. Turing and the Development of Computational Complexity, September 8, 2011.
2011-05
Chen, Tingting; Wu, Fan; Zhong, Sheng. On Designing Protocols for Non-cooperative Multi-Radio Channel Assignment in Multiple Collision Doma, August 13, 2011.
2011-04
Chen, Tingting; Zhong, Sheng. On Designing Truthful Spectrum Auctions for Variable Bandwidths, July 28, 2011.
2011-03
Hao, Zhuo; Zhong, Sheng; Li, Li; Yao, Haifan; Yu, Nenghai. Towards Wireless Security without Computational Assumptions, April 28, 2011.
2011-02
Chen, Tingting; Zhong, Sheng. Privacy-Preserving Models for Comparing Survival Curves Using the Logrank Test, April 19, 2011.
2011-01
Chen, Tingting; Zhong, Sheng. On Fairness of Incentive-Compatible Multi-Radio Channel Assignment in Multiple Collision Domains, February 6, 2011. Modified Version
2010-13
Lessa, Demian; Czyz, Jeffrey K.; Jayaraman, Bharat. JIVE: A Pedagogic Tool for Visualizing the Execution of Java Programs, December 7, 2010.
2010-12
Chen, Tingting ; Zhu, Liehuang; Wu, Fan; Zhong, Sheng. Stimulating Cooperation in Vehicular Ad Hoc Networks: A Coalitional Game Theoretic Approach, November 12, 2010.
2010-11
Hao, Zhuo; Zhong, Sheng; Yu, Nenghai. A Privacy-Preserving Remote Data Integrity Checking Protocol with Data Dynamics and Public Verifiabi, October 5, 2010.
2010-10
Lessa, Demian; Jayaraman, Bharat; Czyz, Jeffrey. Query-based Debugging and Scalable Visualizations, September 3, 2010.
2010-09
Lessa, Demian; Jayaraman, Bharat. Temporal Model for Debugging and Visualizations, September 3, 2010.
2010-08
Chen, Tingting; Zhong, Sheng. On Designing Truthful and Optimal Spectrum Assignment Mechanisms for Dynamic Spectrum Access, July 29, 2010.
2010-07
Demirbas, Murat; Tasci, Serafettin; Gunes, Hanifi. A Singlehop Collaborative Feedback Primitive: Threshold Queries in Wireless Sensor Networks, July 23, 2010. Updated Subsequently
2010-06
Hao, Zhuo; Zhong, Sheng; Li, Li Erran. An Oblivious Transfer Protocol Based on an Unauthenticated Wireless Channel, July 17, 2010. Modified Version
2010-05
Hao, Zhuo; Zhong, Sheng; Li, Li Erran. An Oblivious Transfer Protocol Based on an Unauthenticated Wireless Channel, July 5, 2010.
2010-04
Zhang, Xi. Probabilities and Sets in Preference Querying (Ph.D. Dissertation), June 5, 2010.
2010-03
Akcora, CG; Demirbas, Murat. Twitter: Roots, Influence, Applications, June 2, 2010.
2010-02
Chen, Tingting; Zhong, Sheng. On Fairness of Incentive-Compatible Multi-Radio Channel Assignment in Multiple Collision Domains, May 27, 2010.
2010-01
Lou, Hongbin; Zhang, Hongke ; Qiao, Chunming . How Fast do Identifier-to-locator Mappings Change?, March 17, 2010.
2009-08
Soysal, Onur; Ayyorgun, Sami; Demirbas, Murat. PowerNap for Longevity in Wireless Sensor Networks, October 28, 2009.
2009-07
Mindolin, Denis. Preference Construction for Database Querying (Ph.D. dissertation), August 4, 2009.
2009-06
Soysal, Onur; Demirbas, Murat. Data Spider: A Resilient Mobile Basestation Protocol for Efficient Data Collection in Wireless Sensor Networks, July 31, 2009. Modified Version
2009-05
Soysal, Onur; Demirbas, Murat. Transactional Concurrency Control for Multihop Wireless Sensor Networks, July 31, 2009.
2009-04
Chen, Tingting; Zhong, Sheng. INPAC: An Enforceable Incentive Scheme for Wireless Networks using Network Coding, July 31, 2009.
2009-03
Bayir, Murat Ali; Demirbas, Murat. On The Fly Learning of Mobility Profiles for Intelligent Routing in Pocket Switched Networks, July 21, 2009.
2009-02
Mathew, Sunu; Petropoulos, Michalis; Ngo, Hung; Upadhyaya, Shambhu. A Data-Centric Approach to Insider Attack Detection in Database Systems, June 23, 2009.
2009-01
Ha, Duc T.; Yan, Guanhua; Eidenbenz, Stephan; Ngo, Hung Quang. On the Effectiveness of Structural Detection and Defense Against P2P-based Botnets, February 4, 2009.
2008-18
Zhang, Xi; Chomicki, Jan. Semantics and Evaluation of Top-k Queries in Probabilistic Databases, November 13, 2008.
2008-17
Bayir, Murat Ali; Demirbas, Murat; Eagle, Nathan. Mobility Profiler: A Framework for Discovering Mobile User Profiles, September 22, 2008.
2008-16
Girgis, Hani Z.; Corso, Jason. STP: The Sample-Train-Predict Algorithm and Its Application to Protein Structure Meta-Selection, September 16, 2008.
2008-15
Staworko, Slawomir; Chomicki, Jan. Consistent Query Answers in the Presence of Universal Constraints, September 9, 2008.
2008-14
Demirbas, Murat; Rudra, Carole; Rudra, Atri; Bayir, Murat Ali. iMAP: Indirect Measurement of Air Pollution with Cellphones , September 2, 2008.
2008-13
Lu, Xuming; Demirbas, Murat. Writing on Water, A lightweight Soft-State Tracking Framework for Dense Mobile Ad Hoc Networks, July 18, 2008.
2008-12
Menon, Vivek; Jayaraman, Bharat; Govindaraju, Venu. INTEGRATING RECOGNITION AND REASONING IN SMART ENVIRONMENTS, July 3, 2008.
2008-11
Darole, Rohan; Walters, John Paul; Chaudhary, Vipin. Improving MPI-HMMER's Scalability with Parallel I/O. IPDPS 2009., May 29, 2008.
2008-10
Balu, Vidyananth; Walters, John Paul; Kompalli, Suryaprakash; Chaudhary, Vipin. Evaluating the use of GPUs in liver image segmentation and HMMR database searches. IPDPS 2009., May 29, 2008.
2008-09
Nwogu, Ifeoma; Corso, Jason; Bittner, Thomas. The Design of an Ontology-Enhanced Anatomy Labeler, May 27, 2008.
2008-08
Jadliwala, Murtuza; Duan, Qi; Upadhyaya, Shambhu; Xu, Jinhui. On the Hardness of Eliminating Cheating Behavior in Time Synchronization Protocols for Sensor Networks, April 23, 2008.
2008-05
Mindolin, Denis; Chomicki, Jan. Minimal Contraction of Preference Relations, February 28, 2008.
2008-04
Yoon, Seokhoon; Qiao, Chunming. Cooperative Search and Survey using Autonomous Underwater Vehicles (AUVs), February 27, 2008.
2008-03
Staworko, Slawomir. Declarative Inconsistency Handling in Relational and Semi-Structured Databases, February 25, 2008.
2008-01
Menon, Vivek; Jayaraman, Bharat; Govindaraju, Venu. Biometrics-Driven Smart Environments: Abstract Framework and Evaluation, January 7, 2008.
2007-13
Zhang, Xi; Chomicki, Jan. On the Semantics and Evaluation of Top-k Queries in Probabilistic Databases, December 18, 2007.
2007-12
Yoon, Seokhoon; Soysal, Onur; Demirbas, Murat; Qiao, Chunming. Coordinated Locomotion of Mobile Sensor Networks, December 13, 2007.
2007-11
Krauthgamer, Robert; Mehta, Aranyak; Raman, Vijayshankar; Rudra, Atri. Greedy List Intersection, December 11, 2007.
2007-10
Bhabrawala, T. S; Krovi, V.; Mendel, F.; Govindaraju, Venu. Shape Recovery Using Extended Superquadrics, October 22, 2007.
2007-09
Liu, Xin; Qiao, Chunming; Wang, Ting; Hu, Weisheng; Guo, Wei; Wu, Min-You. Task Scheduling and Lightpath Establishment in Optical Grids, September 11, 2007.
2007-08
Zhong, Sheng; Jadliwala, Murtuza; Upadhyaya, Shambhu; Qiao, Chunming. LOCOMO: Distance-based Localization against Malicious Beacon Nodes, July 2, 2007.
2007-07
Virendra, Mohit; Krishnamurthy, Arunn; Narayanan, Krishnan; Upadhyaya, Shambhu; Kwiat, Kevin. Environment-Aware Trusted Data Delivery in Multipath Wireless Protocols, May 17, 2007.
2007-06
Decker, Adrienne. How Students Measure Up: An Assessment Instrument For Introductory Computer Science, May 3, 2007.
2007-05
Ha, Duc T.; Ngo, Hung Quang. On the Trade-Off Between The Expected Number Of Infected Nodes and Expected Propagation Time of Malcodes, April 12, 2007.
2007-01
Walters, John Paul; Chaudhary, Vipin. A Comprehensive User-level Checkpointing Strategy for MPI Applications, February 13, 2007. Superceded by John Paul Walters, Vipin Chaudhary: Replication-Based Fault Tolerance for MPI Applications. IEEE Trans. Parallel Distrib. Syst. 20(7): 997-1010 (2009).
2006-34
Wu, Fan; Zhong, Sheng; Liu, Jiqiang. Cost-effective Trac Assignment for Multipath Routing in Selsh Networks, November 22, 2006.
2006-33
Duan, Qi; Virendra, Mohit; Upadhyaya, Shambhu. On the Hardness of Minimum Cost Blocking Attacks on Multi-path Wireless Routing Protocols, October 9, 2006.
2006-31
Demirbas, Murat; Lu, Xuming. Distributed Quad-Tree for Spatial Querying in Wireless Sensor Networks, November 3, 2006.
2006-30
Elakkumanan, Praveen. Overcoming the Circuit Design Challenges In Nanoscale SRAMs, September 1, 2006.
2006-29
Balachandran, Srivats. Robcast: A Reliable MAC Layer Protocol for Broadcast in Wireless Sensor Networks, August 28, 2006.
2006-28
Cho, Moonjung. Novel Techniques for Data Warehousing and Online Analytical Processing in Emerging Applications, August 25, 2006.
2006-27
Bhole, Chetan. Object Recognition Using Shape and Behavioral Features, August 23, 2006.
2006-26
Hu, Xian. Integrated Feature Subset Selection/Extraction With Applications in Bioinformatics, August 22, 2006.
2006-25
Sridharan, Karthik. Semantic Face Retrieval, August 22, 2006.
2006-24
Krishnamurthy, Praveen. Approaches to clustering gene expression time course data, August 17, 2006.
2006-23
Pushpendran, Manu. A Constrained Object Approach To Systems Biology, August 23, 2006.
2006-22
Milewski, Robert Jay. Automatic Recognition Of Handwritten Medcal For Search Engines, August 12, 2006.
2006-21
Ghosh, Joy; Ngo, Hung Quang; Yoon, Seokhoon; Qiao, Chunming. On a Routing Problem within Probabilistic Graphs., August 4, 2006.
2006-20
Zhong, Sheng. On Distributed k-Anonymization., July 27, 2006.
2006-19
Zhong, Sheng; Shah, Divyesh. Benchmarking Security Computations on Wireless Devices., July 27, 2006.
2006-18
Ghosh, Joy. Sociological Orbit Based Mobility Profiling and Routing for Wireless Networks., July 17, 2006.
2006-16
Chomicki, Jan. Database Querying under Changing Preferences., July 13, 2006.
2006-15
Yoon, Seokhoon; Qiao, Chunming. Efficient Search Algorithms using Autonomous Mobile Sensor Nodes., August 4, 2006.
2006-14
Glasser, Christian; Selman, Alan L.; Travers, Stephen; Wagner, Klaus. The Complexity of Unions of Disjoint Sets., June 26, 2006.
2006-13
Glasser, Christian; Selman, Alan L.; Travers, Stephen; Zhang, Liyu. Non-Mitotic Sets., June 22, 2006.
2006-12
Virendra, Mohit; Duan, Qi; Upadhyaya, Shambhu. Report Dropping and Tampering Detection in Sensor Networks: Enhancing Data Reliability., May 19, 2006.
2006-11
Virendra, Mohit; Duan, Qi; Upadhyaya, Shambhu; Anand, Vishal. A New paradigm for Load Balancing in Wireless Mesh Networks., May 19, 2006.
2006-10
Ruby, Catherine. Three Data Grid Initiatives for the Advanced Computational Data Center., May 11, 2006.
2006-09
Shi, Yong. Dynamic Data Mining on Multi-Dimensional Data., April 25, 2006.
2006-08
Xu, Guang. Approximation Algorithms for Clustering and Related Problems., April 11, 2006.
2006-07
Girgis, Hani Z.; Jayaraman, Bharat. JavaDD: a Declarative Debugger for Java., March 20, 2006.
2006-06
Khan, Asheq; Qiao, Chunming; Sharma, Prachee; Tripathi, Satish K.. Bounding the Energy Consumption of Mobile Sensor Nodes for Triangulation-based Coverage., March 20, 2006.
2006-05
Hwang, Woochang; Cho, Young-rae; Zhang, Aidong; Ramanathan, Murali. Bridging Centrality: Identifying Bridging Nodes in Scale-free Networks, March 15, 2006.
2006-04
Demirbas, Murat. A Transactional Framework for Programming Wireless Sensor/Actor Networks, March 8, 2006.
2006-03
Johnson, Frances L.. Dependency-Directed Reconsideration: An Anytime Algorithm for Hindsight Knowledge-Base Optimization, January 16, 2006.
2006-02
Demirbas, Murat; Chow, Ken Yian; Wan, Chieh Shyan. INSIGHT: Internet-Sensor Intgration for Habitat Monitoring, January 25, 2006.
2006-01
Demirbas, Murat; Song, Youngwhan. An RSSI-based Scheme for Sybil Attack Detection in Wireless Sensor Networks, January 25, 2006.
2005-27
Ghosh, Joy; Beal, Matthew J.; Ngo, Hung Quang; Qiao, Chunming. On Profiling Mobility and Predicting Locations of Campus-Wide Wireless Network Users, December 12, 2005.
2005-26
Demirbas, Murat. Wireless Sensor Networks for Monitoring of Large Public Buildings, December 8, 2005.
2005-25
Demirbas, Murat; Hussain, Muzammil. A MAC Layer Protocol fro priority-based Reliable Broadcast in Wireless Ad Hoc Networks, November 28, 2005.
2005-24
Demirbas, Murat; Arora, Anish; Kulathumani, Vinod. A Lightweight Querying Service for Wireless Sensor Networks., November 22, 2005.
2005-23
Hansheng, Lei. Sequential Pattern Classification Without Explicit Feature Extraction, November 22, 2005.
2005-22
Chomicki, Jan. Semantic Optimization Techniques fro Preference Queries, October 19, 2005.
2005-21
Philip, Sumesh J.. Scalable Location Management for Geographic Routing in Mobile Ad hoc Networks, July 22, 2005.
2005-19
Glasser, Christian; Selman, Alan L.; Zhang, Liyu. Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems, July 7, 2005.
2005-18
Glasser, Christian; Pavan, A.; Selman, Alan L.; Zhang, Liyu. Redundancy in Complete Sets, July 7, 2005.
2005-17
Ghosh, Joy; Yoon, Seokhoon; Ngo, Hung Quang; Qiao, Chunming. Sociological Orbits for Efficient Routing in Intermittently Connected Mobile Ad Hoc Networks, July 6, 2005.
2005-16
Rapaport, William J.. Philosophy of Computer Science: An Introductory Course, June 21, 2005.
2005-15
Gestwicki, Paul V.. Interactive Visualization of Object-Oriented Languages, June 15, 2005.
2005-14
Huaming Zhang; Xin He. An Application of Well-Orderly Trees in Graph Drawing, May 30, 2005.
2005-13
Santore, John F.. Identifying Perceptually Indistinguishable Objects, January 24, 2005.
2005-12
Ghosh, Joy; Qiao, Chunming; Philip, Sumesh J.; Ngo, Hung Quang; Yoon, Seokhoon. Sociological Orbit aware Location Approximation and Routing (SOLAR) in dtN, April 6, 2005.
2005-11
Staworko, Slawomir; Chomicki, Jan. Priority-Based Conflict Resolution in Inconsistent Relational Databases, June 15, 2005.
2005-09
Ghosh, Joy; Philip, Sumesh J.; Qiao, Chunming. Sociological Orbit Aware Routing in MANET, March 25, 2005.
2005-08
Shapiro, Stuart C.; Anstey, Josephine; Pape, David E.; Devdas Nayak, Trupti; Kandefer, Michael; Telh. MGLAIR Agents in a Virtual Reality Drama, March 30, 2005.
2005-07
Khan, Asheq; Philip, Sumesh J.; Qiao, Chunming; Tripathi, Satish K.. A Framework for Mobile Assisted Localization in Wireless Sensor Networks, March 25, 2005.
2005-06
Attias, H. T.; Beal, Matthew J.. Tree of Latent Mixtures for Bayesian Modelling and Classification of High Dimensional Data, January 1, 2005.
2005-05
Chinchani, Ramkumar; Ha, Duc T.; Iyer, Anusha; Ngo, Hung Quang; Upadhyaya, Shambhu. On The Hardness of Approximating the Min-Hack Problem, March 2, 2005.
2005-04
Tang, C.; Ramanathan, Murali; Jiang, D.; Zhang, Aidong. A Semi-Supervised Learning Method for Coherent Pattern Detection from Gene-Sample-Time Series Datasets, March 9, 2005.
2005-01
Santore, John F.. Complete Coded Protocols from PIO Experiment, January 5, 2005.
2004-22
Glasser, Christian; Ogihara, Mitsunori; Pavan, A.; Selman, Alan L.; Zhang, Liyu. Autoreducibility, Mitoticity, and Immunity, December 21, 2004.
2004-21
Gestwicki, Paul V.; Jayaraman, Bharat; Garg, Ashim. From Class Diagrams to Object Diagrams: An Automated Approach, December 13, 2004.
2004-20
Gestwicki, Paul V.; Jayaraman, Bharat. Methodology and Architecture of JIVE, December 13, 2004.
2004-19
Girgis, Hani Z.; Hegde, Akshay V.; Pushpendran, Manu; Gestwicki, Paul V.; Jayaraman, Bharat. Visual Queries for Interactive Execution of Java Programs, December 13, 2004.
2004-18
Mathew, Sunu; Shah, Chintan; Upadhyaya, Shambhu. An Alert Fusion Framework for Situation Awareness of Coordinated Multistage Attacks, November 29, 2004.
2004-17
Glasser, Christian; Selman, Alan L.; Zhang, Liyu. Canonical Disjoint NP-Pairs of Propositional Proof Systems, November 19, 2004.
2004-16
Chinchani, Ramkumar; Iyer, Anusha; Ngo, Hung Quang; Upadhyaya, Shambhu. A Target-Centric Formal Model For Insider Threat And More, October 12, 2004.
2004-15
Yu, Xiang; Thng, Ian; Jiang, Yuming; Qiao, Chunming. Queuing Processes in GPS and PGPS with LRD Traffic Inputs (Extended Version), September 29, 2004.
2004-14
Ghosh, Joy; Philip, Sumesh J.; Qiao, Chunming. Performance Analysis of Mobility Based Routing Protocols in MANET, September 16, 2004.
2004-13
Liu, Jiangjiang. INFORMATION PATTERN AWARE DESIGN STRATEGIES FOR NANOMETER-SCALE ADDRESS BUSES, August 31, 2004.
2004-12
Srikanth, Munirathnam. EXPLOITING QUERY FEATURES IN LANGUAGE MODELING APPROACH\\FOR INFORMATION RETRIEVAL, August 26, 2004.
2004-09
Aruna Balasubramanian; Sumita Mishra; Sridhar, Ramalingam. A Hybrid Approach to Key Management for Enhanced Security in Ad Hoc Networks, July 30, 2004.
2004-08
Ghosh, Joy; Philip, Sumesh J.; Qiao, Chunming. ORBIT Mobility Framework and Orbit Based Routing (OBR) Protocol for MANET, July 12, 2004.
2004-07
Karthik Sundararaman. Design For Manufacturability - Fault Model Extensions for RF Circuits with, May 18, 2004.
2004-05
Raux R.J.; Jayaraman, Bharat. Modeling Dynamic Systems with Constrained Objects, February 29, 2004.
2004-04
Tambay, Pallavi Y.; Jayaraman, Bharat. Implementation Techniques for Constrained Objects, February 29, 2004.
2004-03
Glasser, Christian; Pavan, A.; Selman, Alan L.; Sengupta, Samik. Properties of NP-Complete Sets, January 15, 2004.
2002-14
Garg, Ashim; Rusu, Adrian. Straight-line Drawings of General Trees with Linear Area and Arbitrary Aspect, May 16, 2003.
2003-13
Yu, Xiang; Qiao, Chunming; Liu, Yong; Towsley, Don. Performance Evaluation of TCP Implementations in OBS Networks, July 1, 2003.
2003-12
Garg, Ashim; Rusu, Adrian. A More Practical Algorithm for Drawing Binary Trees in Linear Area with ArbitraryAspect Ratio, September 19, 2003.
2003-11
Garg, Ashim; Rusu, Adrian. Area-Efficient Drawings of Outerplanar Graphs, September 18, 2003.
2003-10
Zhang, Huaming; He, Xin. Improved Visibility Representation of Plane Graphs, August 27, 2003.
2003-09
Chinchani, Ramkumar; Pramanik, Suranjan; Garg, Ashish. Handling Failures and DOS Attacks Using Network Device Groups, July 15, 2003.
2003-08
Rusu, Adrian. Area-Efficient Grid Drawings of Graphs, August 16, 2003.
2003-07
Aygun, Ramazan Savas. Spatio-Temporal Browsing of Multimedia Presentations, May 8, 2003.
2003-06
Zhang, Huaming; He, Xin. Canonical Ordering Tree and Its Applications in Graph Drawing, May 30, 2003.
2004-06
Ghosh, Joy; Kumar, Vivek; Wang, Xin; Qiao, Chunming. BTSpin - Single Phase Distributed Bluetooth Scatternet Formation, December 13, 2003.
2003-05
Garg, Ashim; Rusu, Adrian. Area-Efficient Order-Preserving Planar Straight-line Drawings of Ordered Trees, May 16, 2003.
2003-04
Glasser, Christian; Selman, Alan L.; Sengupta, S.. Reductions between Disjoint NP-Pairs, April 21, 2003.
2003-03
Wu, Yimin; Zhang, Aidong. Adaptively Discovering Meaningful Patterns in High-Dimensional Nearest Neighbor Search, April 8, 2003.
2003-02
Glasser, Christian; Selman, Alan L.; Sengupta, Samik; Zhang, Liyu. Disjoint NP-Pairs, February 17, 2003.
2004-02
Zhao, Dan. An Integrated Framework for Concurrent Test and Wireless Control in Complex SoCs, December 30, 2003.
2003-01
Tambay, Pallavi Y.; Jayaraman, Bharat. The Cob Programmer's Manual, February 5, 2003.
2004-01
Selman, Alan L.; Sengupta, S.. Polylogarithmic-round Interactive Proofs for coNP, September 2, 2003.
2002-17
Boxer, Laurence. Expected Optimal Selection on the PRAM, December 3, 2002.
2002-16
Aygun, Ramazan Savas; Yazici, Adnan. Modeling and Management of Fuzzy Information in Multimedia Database Applications, December 5, 2002.
2002-15
Aygun, Ramazan Savas; Zhang, Aidong. Rule-based Flexible Synchronization Modeling with Model Checking, December 5, 2002.
2002-13
Zhang, Huaming; He, Xin. On Even Triangulations of 2-Connected Embedded Graphs, July 6, 2002.
2002-12
Song, Yuqing. MONOTONIC TREE AND ITS APPLICATION TO MULTIMEDIA INFORMATION RETRIEVAL, August 16, 2002.
2002-11
Anand, Vishal; Qiao, Chunming. Effect of Wavelength Conversion in Survivable Wavelength Routed Optical WDM Networks with Alternate Routing, June 6, 2002.
2002-10
Ngo, Hung Quang. WDM Split Cross-connects and $3$-stage Clos Networks, July 9, 2002.
2002-09
Ngo, Hung Quang. A New Routing Algorithm for Multirate Rearrangeable Clos Networks, May 22, 2002.
2002-08
Wu, Hongyi. iCAR : an Integrated Cellular and Ad hoc Relaying System, May 16, 2002.
2002-07
Ngo, Hung Quang; Vu, Van H.. On Multi-rate Rearrangeable Clos Networks and a Generalized Edge Coloring Problem on Bipartite Graphs, May 10, 2002.
2002-05
Garg, Ashim; Chanda, Amrita. Compact Encodings of Planar Orthogonal Drawings, April 24, 2002.
2002-04
Garg, Ashim; Rusu, Adrian. Straight-line Drawings of Binary Trees with Linear Area and Good Aspect Ratio, April 24, 2002.
2002-03
Burhans, Debra T.. A Question Answering Interpretation of Resolution Refutation, January 31, 2002.
2002-02
Ngo, Hung Quang. P-Species and the q-Mehler Formula, January 24, 2002.
2002-01
Anand, Vishal; Chauhan, Sunit; Qiao, Chunming. Sub-path Protection: A New Framework for Optical Layer Survivability and its Quantitative Evaluation, January 2, 2002.
2001-16
Mahapatra, Nihar R.; Dutt, Shantanu. An Efficient Delay-Optimal Distributed Termination Detection Algorithm, November 27, 2001.
2001-15
Jayaraman, Bharat; Tambay, Pallavi Y.. Semantics and Applications of Constrained Objects, October 12, 2001.
2001-14
Xu, Dahai; Qiao, Chunming. Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part II, July 10, 2001.
2001-13
Qiao, Chunming; Xu, Dahai. Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part I, July 10, 2001.
2001-12
Song, Yuqing; Zhang, Aidong. Monotonic Tree of Images and Its Application in Image Processing, August 29, 2001.
2001-11
Ismail, Haythem O.. Reasoning and Acting in Time, August 24, 2001.
2001-10
Pavan, A.. Average-case complexity theory and polynomial-time reductions, August 26, 2001.
2001-09
Rapaport, William J.. Holism, Conceptual-Role Semantics, and Syntactic Semantics, August 17, 2001.
2001-08
Ismail, Haythem O.; Shapiro, Stuart C.. The Cognitive Clock: A Formal Investigation of the Epistemology of Time, August 14, 2001.
2001-07
Luo, Hui. KNOWLEDGE-BASED IMAGE UNDERSTANDING AND CLASSIFICATION SYSTEM FOR MEDICAL IMAGE DATABASES, July 30, 2001.
2001-06
Chun-Hsi Huang. Communication-Efficient Bulk Synchronous Parallel Algorithms, July 30, 2001.
2001-05.
Cha, Sung-Hyuk. Use of Distance Measures in Handwriting Analysis, March 28, 2001.
2001-04
Charles, Denis X.. A Note on the Subgroup Membership Problem for PSL(2,p), March 27, 2001.
2001-03
Bhadra, Debangshu; Garg, Ashim. An Interactive Visual Framework for Detecting Clusters of a Multidimensional Dataset, March 27, 2001.
2001-02
Pavan, A.; Selman, Alan L.. Separation of NP-completeness Notions, January 16, 2001.
2001-01
Boxer, Laurence; Haralick, Robert. Even faster point set pattern matching in 3-d, January 9, 2001.
2000-11
Charles, Denis X.; Pavan, A.; Sengupta, S.. On higher Arthur-Merlin classes, December 12, 2000.
2000-10
Charles, Denis X.. Sieve Methods, July 18, 2000.
2000-09
Petr Slavik; Govindaraju, Venu. An Overview of Run-length Encoding of Handwritten Word Images, August 25, 2000.
2000-08
Xin He. A Simple Linear Time Algorithm for Proper Box Rectangular Drawing of Plane Graphs, August 10, 2000.
2000-07
Denis, Charles; Regan, Kenneth W.. On Arithmetical Formulas Whose Jacobians are Groebner Bases, July 13, 2000.
2000-06
McKernan, Timothy; Jayaraman, Bharat. CobWeb: Constrained XML for the Web, May 19, 2000.
2000-05
Jayaraman, Bharat; Tambay, Pallavi Y.. Constrained Objects for Modeling Complex Systems, April 1, 2000.
2000-04
Slavik, Petr. Slice Distance, April 8, 2000.
2000-03
Johnson, Frances L.; Shapiro, Stuart C.. Implementing Integrity Constraints in an Existing Belief Revision System, March 8, 2000.
2000-02
Johnson, Frances L.; Shapiro, Stuart C.. Formalizing a Deductively Open Belief Space, January 24, 2000.
2000-01
Shapiro, Stuart C.; Johnson, Frances L.. Automatic Belief Revision in SNePS, March 3, 2000.
99-10
Ismail, Haythem O.; Shapiro, Stuart C.. Cascaded Acts: Conscious Sequential Acting for Embodied Agents, November 1, 1999.
99-09
Johnson, Frances L.; Shapiro, Stuart C.. Finding and Resolving Contradictions in a Battle Scenario, September 9, 1999.
99-08
Johnson, Frances L.; Shapiro, Stuart C.. Says Who? -- Incorporating Source Credibility Issues into Belief Revision, July 31, 1999.
99-07
Burhans, Debra T.; Shapiro, Stuart C.. Expanding the Notion of Answer in Rule-Based Systems, November 8, 1999.
99-06
Rapaport, William J.. How to Pass a Turing Test: Syntax Suffices for Understanding Natural Language, June 8, 1999.
99-05
Qiao, Chunming; Jeong, M.; Guha, A.; Zhang, Xi; Wei, J.. WDM Multicasting in IP over WDM Networks, May 1, 1999.
99-04
Yu, Dantong; Zhang, Aidong. ACQ: An Automatic Clustering and Querying Approach for Large Image Databases, May 5, 1999.
99-03
Yu, Dantong; Sheikholeslami S.; Zhang, Aidong. FindOut: Finding Outliers in Very Large Datasets, May 5, 1999.
99-02
Fortnow, L.; Pavan, A.; Selman, Alan L.. Distributionally-Hard Languages, April 26, 1999.
99-01
Lee, Chain-Wu. TERRESA: A Task-Based Message-Driven Parallel Semantic Network System, January 30, 1999.
98-10
Shapiro, Stuart C.. Belief Revision and Truth Maintenance Systems: An Overview and a Proposal, December 31, 1998.
98-09
Ogihara, Mitusnori; Regan, Kenneth W.; Toda, Seinosuke. Graded Self-Reducibility, December 30, 1998.
98-08
Yu, Dantong; Chatterjee, Surojit; Sheikholeslami, Gholamhosein; Zhang, Aidong. Efficiently Detecting Arbitrary Shaped Clusters in Very Large Datasets with High Dimensions, November 1, 1998.
98-07
Sheikholeslami, Gholamhosein; Wang, Wenjie; Zhang, Aidong. A Model of Image Representation and Indexing in Image Database Systems, July 20, 1998.
98-06
Slavik, Petr. Approximation Algorithms for Set Cover and Related Problems, April 30, 1998.
98-05
Rapaport, William J.; Ehrlich, Karen. A Computational Theory of Vocabulary Acquisition, April 14, 1998.
98-03
Soh, Jung. A Theory of Document Object Locator Combination, March 25, 1998.
98-02
Campbell, Alistair E.; Shapiro, Stuart C.. Algorithms for Ontological Mediation, January 23, 1998.
98-01
Shapiro, Stuart C.. A Procedural Solution to the Unexpected Hanging and Sorites Paradoxes, January 5, 1998.
97-16
Liao, Min-Hung. Chinese to English Machine Translation Using SNePS as an Interlingua, December 1, 1997.
97-15
Rapaport, William J.. Implementation Is Semantic Interpretation, November 21, 1997.
97-14
Hexmoor, Henry H.; Lopez, F.. Toward Object Selection with a Pointer, October 30, 1997.
97-13
Naik, Ashish V.; Rogers, John, D.; Royer, James S.; Selman, Alan L.. A Hierarchy Based on Output Multiplicity, August 5, 1997.
97-12
Hexmoor, Henry H.; Cuddihy, Elisabeth. Performance of a simple cooperative individual situation assessment (CISA) with respect to information sharing strategy metrics, July 23, 1997.
97-11
Fang, Chi. Deciphering Algorithms for Degraded Document Recognition, July 17, 1997.
97-10
Cai, Jin-Yi; Nerurkar, Ajay; Wu, Min-You. The Design of Uncheatable Benchmarks Using Complexity Theory, July 18, 1997.
97-09
Rajiv Chopra. An Architecture for Exploiting Qualitative Scene-specific Context in High-Level Computer Vision, June 1, 1997.
97-08.co
Ehrlich, Karen; Rapaport, William J.. A Computational Theory of Vocabulary Expansion, May 5, 1997.
97-04
Sheikholeslami, Gholamhosein; Zhang, Aidong. A Clustering Approach for Large Visual Databases, February 21, 1997.
97-02
Slavik, Petr. The Errand Scheduling Problem, March 14, 1997.
97-01
Pavan, A.; Selman, Alan L.. Complete Distributional Problems, Hard Languages, and Resource-Bounded Measure, February 6, 1997.
96-26
Rapaport, William J.. Understanding Understanding: Semantics, Computation, and Cognition, July 17, 1996.
96-25
Johnson, T.; Zhang, Aidong. A Framework for Supporting Quality-Based Presentation of Continuous Multimedia Streams, December 16, 1996.
96-24
Chang, W.; Murthy, D.; Mei, Y.; Zhang, Aidong. Metadatabase and Search Agent for Multimedia Database Access over Internet, December 16, 1996.
96-23
Wu, Min-You. Scheduling for Interactive Operations in Parallel Video Servers, December 12, 1996.
96-22
Cai, Jin-Yi; Samuthiram, Karthikeyan. A note on the Pumping Lemma for regular languages, December 4, 1996.
96-21
Belanger, Jay; Pavan, A.; Wang, Jie. Reductions Do Not Preserve Fast Convergence Rates in Average Time, November 7, 1996.
96-20
Chakravarty, Sreejit. Defect Detection Capability of Delay Tests for Path Delay Faults, November 7, 1996.
96-19
Rapaport, William J.. Cognitive Science, October 29, 1996.
96-18
Chalupsky, Hans. SIMBA: Belief Ascription by Way of Simulative Reasoning, January 31, 1996.
96-14
Wu, Min-You; Shu, Wei. DDE: A Modified Dimension Exchange Method for Load Balancing in k-ary n-cubes, March 25, 1996.
96-13
Gollapudi, Sreenivas. A Multithreaded Client-Server Architecture for Distributed Multimedia Systems, July 19, 1996.
96-12
Boxer, Laurence; Miller, Russ; Rau-Chaplin, Andrew. Some Scalable Parallel Algorithms for Geometric Problems, June 14, 1996.
96-10
Rapaport, William J.. How Minds Can Be Computational Systems, May 31, 1996.
96-09
Min-You Wu. Scheduling for Large-Scale Parallel Video Servers, May 17, 1996.
96-08
Dabholkar, Vinay P.; Chakravarty, Sreejit. Dynamic Stress Tests for ``Narrow Metal Imperfections'' in Full Scan Circuits, April 3, 1996.
96-06
Gollapudi, Sreenivas; Zhang, Aidong. NetMedia: A Client-Server Distributed Multimedia Database Environment, April 4, 1996.
96-05
Hong, Tao. Degraded Text Recognition using Visual and Linguistic Context, March 27, 1996.
96-03
Chakravarty, Sreejit; Thadikaran, Paul J.. Which Set of Bridging Faults Should Test Compilers Target?, February 28, 1996.
96-02
Kumar, Ravi S.; Sivakumar, D.. Efficient Self-Testing of Linear Recurrences, January 29, 1996.
96-01
Ivanyos, Gábor. Testing membership in unitriangular matrix groups. Preliminary draft, January 2, 1996.
95-55
Gollapudi, Sreenivas; Zhang, Aidong. Buffer Management in Multimedia Database Systems, November 28, 1995.
95-54
Slavik, Petr. A Tight Analysis of the Greedy Algorithm for Set Cover, November 19, 1995.
95-52
Dabholkar, Vinay P.; Chakravarty, Sreejit. Stress Tests for Dynamic Burn-in of Full Scan Circuits, November 9, 1995.
95-51
Fenner, Stephen; Green, Frederic; Homer, Stephen; Selman, Alan L.; Thierauf, Thomas; Vollmer, Heribe. Complements of Multivalued Functions, November 6, 1995.
95-50
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Preference Datalog, November 1, 1995.
95-49B
Rapaport, William J.; Shapiro, Stuart C.; Wiebe, Janyce M.. Quasi-Indexicals and Knowledge Reports, October 26, 1995.
95-49A
Wu, Min-You. On Parallelization of Static Scheduling Algorithms, October 31, 1995.
95-48
Chakravarty, Sreejit. A Sampling Technique for Diagnostic Fault Simulation, October 26, 1995.
95-47
Wu, Min-You. Symmetrical Hopping: a Scalable Scheduling Algorithm for Irregular Problems, October 25, 1995.
95-46
Wu, Min-You. Parallel Incremental Scheduling, October 24, 1995.
95-45
Slavik, Petr. Improved Performance of the Greedy Algorithm for the Minimum Set Cover and Minimum Partial Cover Problems, October 15, 1995.
95-44
Zhang, Aidong; Gollapudi, Sreenivas. Multimedia Transaction Management in Database Systems, October 30, 1995.
94-43
Zhang, Aidong; Nodine, Marian; Bhargava, Bharat. Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems, August 16, 1995.
95-43
Ravikumar, S.; Sivakumar, D.. On Self-Testing without the Generator Bottleneck, September 20, 1995.
93-41
Cai, Jin-Yi; Fuchs, W.H.J.; Kozen, Dexter; Liu,icheng. Efficient Average-Case Algorithms for the Modular Group, June 15, 1995. (modified version)
95-41
Cai, Jin-Yi; Ogihara, Mitsunori. Sparse Sets versus Complexity Classes, September 18, 1995.
95-40
Cai, Jin-Yi; Sivakumar, D.. Resolution of Hartmanis' Conjecture for NL-hard sparse sets, September 18, 1995.
95-39
Regan, Kenneth W.; Vollmer, Heribe. Gap Languages and Log-Time Complexity Classes, September 12, 1995.
95-38
Seni, Giovanni. Large Vocabulary Recognition of On-line Handwritten Cursive Words, August 1, 1995.
95-37
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Optimization and Relaxation in Constraint Logic Languages, October 21, 1995.
95-36
Cai, Jin-Yi. Frobenius's degree formula and Toda's polynomials, August 10, 1995.
95-35
Cai, Jin-Yi. A simple improvement of a theorem of Polya, August 10, 1995.
95-34
Wu, Min-You. On Runtime Parallel Scheduling, August 10, 1995.
95-33
Zhang, Aidong. On Synchronized Presentation Management in Multimedia Database Systems, August 16, 1995.
94-31
Zhang, Aidong. Impact of Multimedia Data on Workflow, August 16, 1995.
95-31
Cai, Jin-Yi; Naik, Ashish V.; Sivakumar, D.. On the Existence of Hard Sparse Sets under Weak Reductions, July 13, 1995.
95-30
Cai, Jin-Yi; Sivakumar, D.. The Resolution of a Hartmanis Conjecture, July 13, 1995.
95-29
Babai, L.; Beals, R.; Cai, Jin-Yi; Ivanyos, G.; Luks, E.. Multiplicative equations over commutative matrices, July 13, 1995.
95-27
Cai, Jin-Yi; Liu,icheng. The bounded membership problem of the monoid SL_2(N), June 15, 1995.
95-25
Koepsell, David R.; Rapaport, William J.. The Ontology of Cyberspace: Questions and Comments, April 22, 1995.
95-24
Zaionc, Marek. Lambda definability is decidable for second order types and for regular third order types, May 8, 1995.
95-23
Milun, Davin. Generating Markov Random Field Image Analysis Systems from Examples, May 1, 1995.
95-22
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Relaxation in Constraint Logic Languages, April 25, 1995.
95-21
Chopra, Rajiv; Srihari, Rohini; Ralston, Anthony. HyperArc Consistency and Expensive Constraints, May 5, 1995.
95-20
Zaionc, Marek. Fixpoint Technique for Counting Terms in Typed Lambda Calculus, April 14, 1995.
95-19
Zhang, Aidong; Cheng, Biao; Acharya, Raj. Texture-Based Image Retrieval Using Fractal Codes, August 16, 1995.
95-18
Gong, Yiming; Chakravarty, Sreejit. A Dynamic Diagnostic Test Generation System for IDDQ Measurement Based Diagnosis of Bridging Faults, April 10, 1995.
95-17
Cai, Pu; Cai, Jin-Yi; Naik, Ashish V.. Efficient algorithms for a scheduling problem and its applications to illicit drug market crackdowns, April 3, 1995.
95-16
Cai, Jin-Yi; Selman, Alan L.. Average Time Complexity Classes, March 31, 1995.
95-15
Ehrlich, Karen; Rapaport, William J.. A Computational Theory of Vocabulary Expansion: Project Proposal, March 21, 1995.
95-14
Jayaraman, Bharat; Moon, Kyonghee. Implementation of Subset Logic Programs, March 24, 1995.
95-12
Zhang, Aidong; Cheng, Biao; Acharya, Raj. Texture-Based Image Retrival Using Fractals, July 21, 1995.
94-11
Hill, Robin K.. Issues of Semantics in a Semantic-Network representation of Belief, April 3, 1995.
95-11
Chakravarty, Sreejit; Fuchs, Kent; Patel, Janak. Evaluation and Generation of IDDQ Diagnostic Tests for Bridging Faults in Combinational Circuits, February 27, 1995.
95-10
Zaionc, Marek. Lambda Representation of Operations Between Different Term Algebras, February 28, 1995.
95-08
Regan, Kenneth W.; Sivakumar, D.. Improved Resource-Bounded Borel-Cantelli and Stochasticity Theorems, February 16, 1995.
95-07
Dabholkar, Vinay P.; Chakravarty, Sreejit; Najm, Farid; Patel, Janak. Cyclic Stress Tests for Full Scan Circuits, February 24, 1995.
95-06
He, Xin. Grid Embedding of Internally Triangulated Plane Graphs without Non-empty Triangles, February 2, 1995.
95-05
Zhang, Aidong; Cheng, Biao; Acharya, Raj. Using Fractal Coding to Index Image Content for a Digital Library, August 16, 1995.
98-04
Hexmoor, Henry H.. Representing and Learning Routine Activities, December 1, 1995.
95-03
Jagota, Arun K.; Narasimhan, Giri; Regan, Kenneth W.. Information Capacity of Binary Weights Associative Memories, January 24, 1995.
95-02
Regan, Kenneth W.; Sivakumar, D.; Cai, Jin-Yi. Pseudorandom Generators, Measure Theory, and Natural Proofs, January 25, 1995.
95-01
Zhang, Aidong; Nodine, Marian; Bhargava, Bharat. Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems, February 4, 1995.
95-42
Cai, Jin-Yi; Naik, Ashish V.; Sivakumar, D.. Bounded Truth Table Reductions of P, September 21, 1994.
94-39
Curtis, Ronald Sanger. Data Structure Complexity Metrics, November 11, 1994.
94-38
Cai, Jin-Yi; Cai, Pu; u, Yixin. A fully polynomial time approximation scheme in scheduling deteriorating jobs, October 2, 1994.
94-37
Jana, Devashis. Semantics of Subset-Logic Languages, November 11, 1994.
94-35
Niyogi, Debashish. A Knowledge-Based Approach to Deriving Logical Structure from Document Images, August 1, 1994.
94-34
Gong, Yiming; Chakravarty, Sreejit. A Diagnosis Algorithm for Bridging Faults in Combinational Circuits, September 13, 1994.
94-33
Sivalingam, Krishna Moorty. High-Speed Communication Protocols for All-Optical Wavelength Division Multiplexed Computer Networks, October 20, 1994.
94-32
Kumar, Amruth N.. Component Ontological Representation of Function For Candidate Discrimination in Model Based Diagnosis, November 11, 1994.
94-30
Jana, Devashis; Jayaraman, Bharat. Set Constructors, Finite Sets, and Logical Semantics, August 8, 1994.
94-29
Regan, Kenneth W.. Index Sets and Presentations of Complexity Classes (revised version), July 29, 1994.
94-28
Rapaport, William J.. Understanding Understanding: Syntactic Semantics and Computational Cognition, October 20, 1994.
94-27
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Preference Logic Grammars, June 24, 1994.
94-26
Lammens, Johan M.. A Computational Model of Color Perception and Color Naming, June 24, 1994.
94-25
Shu, Wei. Runtime Incremental Parallel Scheduling (RIPS) on Distributed Memory Computers, November 11, 1994.
94-24
Regan, Kenneth W.. Linear Speed-Up, Information Vicinity, and Finite-State Machines, May 20, 1994.
94-23
Regan, Kenneth W.. Linear-Time Algorithms in Memory Hierarchies, May 20, 1994.
94-22
Cai, Jin-Yi; Lipton, Richard J.; Longpre, Luc; Ogihara, Mitsunori; Regan, Kenneth W.; Sivakumar, D.. Communication Complexity of Key Agreement on Limited Ranges, May 20, 1994.
94-21
Naik, Ashish V.; Regan, Kenneth W.; Sivakumar, D.. Quasilinear Time Complexity Theory, May 20, 1994.
94-20
Li, Lide; Ogihara, Mitsunori; Regan, Kenneth W.. On Information From #P Functions, May 20, 1994.
94-19
Green, Frederic; Koebler, Johannes; Regan, Kenneth W.; Schwentick, Thomas; Toran, Jacobo. The Power of the Middle Bit of a #P Function, May 20, 1994.
94-18
Regan, Kenneth W.. Linear Time and Memory-Efficient Computation, May 20, 1994.
94-17
Cai, Jin-Yi; Lipton, Richard J.; lcstein, Yechezkel. The complexity of the A B C problem resolved, May 12, 1994.
94-16
Cai, Jin-Yi. Computing Jordan Normal Forms exactly for commuting matrices in polynomial time, May 11, 1994.
94-15
Cai, Jin-Yi; Chari, Suresh. On the Impossibility of Amplifying the Independence of Random Variables, May 4, 1994.
94-14
Cai, Jin-Yi; Hirsch, Michael D.. Rotation Distance, Triangulations of Planar Surfaces and Hyperbolic Geometry, May 4, 1994.
94-13
Govindarajan, Kannan; Jayaraman, Bharat. Intensional AlgorithmicDebugging, May 20, 1994.
94-12
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Preference Logic Programming: Optimization as Inference, April 15, 1994.
94-10
Dabholkar, Vinay P.; Chakravarty, Sreejit. Minimizing Power Dissipation in Combinational Circuits During Test Application, April 15, 1994.
94-09
Hexmoor, Henry H.. A Methodology for Developing Competent Agents Without Sensor and Actuator Profusion, April 15, 1994.
94-08
Ahmad, Ishfaq; Wu, Min-You; Yang, Jaehyung; Ghafoor, Arif. A Performance Assessment of Express on the iPSC/2 and iPSC/860 Hypercube Computers, April 15, 1994.
94-07
Hexmoor, Henry H.. What are routines good for?, April 15, 1994.
94-06
Chakravarty, Sreejit; Dabholkar, Vinay P.. Minimizing Power Dissipation in Scan Circuits During Test Application, April 15, 1994.
94-04
Kumar, Deepak. From Beliefs and Goals to Intentions and Actions: An Amalgamated Model of Inference and Acting, March 11, 1994.
94-03
Chakravarty, Sreejit; Gong, Yiming. Voting Model Based Diagnosis of Bridging Faults in Combinational Circuits, February 15, 1994.
94-02
Cai, Jin-Yi; Naik, Ashish V.; Selman, Alan L.. On P-selective sets and Adaptive versus Nonadaptive Queries to NP, February 2, 1994.
94-01
Ali, Syed S.. A "Natural Logic" for Natural Language Processing and Knowledge Representation, February 9, 1994.
93-43
Revankar, Shriram. Supervised Image Segmentation, May 1, 1993.
93-42
Chakravarty, Sreejit; Thadikaran, Paul J.. On Iddq Measurement Based Analysis of Bridging Faults in CMOS Circuits, November 1, 1993.
93-40
Jayaraman, Bharat; Osorio, Mauricio; Moon, Kyonghee. Partial Order Logic Programming, November 30, 1993.
93-39
Sher, David B.; Wafford, Charlotte E.; Milun, Davin. Relating Gibbs distributions to empirically derived marginal distributions for image analysis, November 23, 1993.
93-38
Chakravarty, Sreejit. A Study of Theoretical Issues in the Synthesis of Delay Fault Testable Circuits, October 26, 1993.
93-37
Hexmoor, Henry H.; Lammens, Johan M.; Shapiro, Stuart C.. An Autonomous Agent Architecture for Integrating "Unconscious" and "Conscious", Reasoned Behaviors, August 24, 1993.
93-36
Naik, Ashish V.; Baveja, Alok; Batta, Rajan; Caulkins, Jonathan P.. Scheduling Crackdowns on Illicit Drug Markets, August 30, 1993.
93-35
Regan, Kenneth W.. A New Parallel Vector Model, With Exact Characterizations of NC^k, August 17, 1993.
93-34
Naik, Ashish V.; Regan, Kenneth W.; Sivakumar, D.. Quasilinear Time Complexity Theory, August 20, 1993.
93-33
Regan, Kenneth W.. Machine Models and Linear Time Complexity, August 16, 1993.
93-31
Lammens, Johan M.; Shapiro, Stuart C.. Learning Symbolic Names for Perceived Colors, August 16, 1993.
93-30
Bar-Yehuda, R.; Dabholkar, Vinay P.; Govindarajan, Kannan; Sivakumar, D.. Randomized Local Approximations with Applications to the MAX-CLIQUE Problem, August 17, 1993.
93-29
Hemaspaandra, Lane A.; Hoene, Albrecht; Naik, Ashish V.; Ogiwara, Mitsunori; Selman, Alan L.; Thiera. Selectivity: Reductions, Nondeterminism, and Function Classes, August 18, 1993.
93-28
Hemaspaandra, Lane A.; Naik, Ashish V.; Ogiwara, Mitsunori; Selman, Alan L.. Computing Solutions Uniquely Collapses the Polynomial Hierarchy, August 17, 1993.
93-27
Miller, Russ. The Status of Parallel Processing Education, July 1, 1993. (updated subsequently)
93-26
Osorio, Mauricio; Jayaraman, Bharat. Subset Assertions and Negation-As Failure, July 27, 1993.
93-25
Regan, Kenneth W.. On the Difference Between Turing Machine Time Random-Access Machine Time, July 12, 1993.
93-24
Regan, Kenneth W.. Efficient Reductions from NP to Parity Using Error-Correcting Codes (preliminary version), June 12, 1993.
93-23
Mackey, Niloufer. Hamilton and Jacobi Meet Again: Quaternions and the Eigenvalue Problem, May 15, 1993.
93-22
Sarnath, R.. A Randomized Parallel Algorithm for dfa-minimization, August 3, 1993.
93-21
Hemaspaandra, Edith; Naik, Ashish V.; Ogiwara, Mitsunori; Selman, Alan L.. P-Selective Sets, and Reducing Search to Decision vs. Self-Reducibility, July 30, 1993.
93-20
Choi, Joongmin. Experience-Based Learning In Deductive Reasoning Systems, May 1, 1993.
93-18
Sivaprakasam, S.. Performance Enhancements in SunOS NFS, May 1, 1993.
93-16
Ali, Syed S.; Shapiro, Stuart C.. Natural Language Processing Using a Propositional Semantic Network with Structured Variables, May 7, 1993.
93-15
Hexmoor, Henry H.; Lammens, Johan M.; Caicedo, G.; Shapiro, Stuart C.. Behavior Based AI, Cognitive Processes, and Emergent Behaviors in Autonomous Agents, April 1, 1993.
93-13
Lammens, Johan M.; Hexmoor, Henry H.; Shapiro, Stuart C.. Of Elephants and Men, April 1, 1993.
93-10
Hexmoor, Henry H.; Lammens, Johan M.; Shapiro, Stuart C.. Embodiment in GLAIR: A Grounded Layered Architecture with Integrated Reasoning for Autonomous Agents, February 1, 1993.
93-09
Chakravarty, Sreejit; Gong, Yiming. A Diagnostic Simulation Algorithm for Stuck-at Faults in Combinational Circuits, March 1, 1993.
93-07
Shu, Wei; Wu, Min-You. Sparse Implementation of Revised Simplex Algorithms on Parallel Computers, July 1, 1993.
93-05
Fenner, Stephen; Homer, Stephen; Ogiwara, Mitsunori; Selman, Alan L.. On Using Oracles That Compute Values, February 17, 1993.
93-04
Chakravarty, Sreejit; Sivaprakasm, Suresh. I_DDQ Measurement Based Diagnosis of Bridging Faults in Full, February 1, 1993.
93-02
Sarnath, R.. Lower bounds for padded sorting and approximate counting, January 1, 1993.
93-01
Sarnath, R.. Doubly logarithmic time parallel sorting , January 1, 1993.
92-33
Jagota, A.. Approximating Maximum Clique with a Hopfield Network, December 1, 1992.
92-32
Chakravarty, Sreejit; Theophilopoulos, G.. Computing Robust Test for Stuck-open Faults from Stuck-at Test Sets, December 1, 1992.
92-30
Sher, David B.; Cheung, Chris Y.. Constructing Noise-Reducing Operators from Training Images, November 1, 1992.
92-27
Green, Frederic; Kobler, J.; Regan, Kenneth W.; Schwentick, Thomas; Toran, Jacobo. The Power of the middle Bit of Number-P Function, October 1, 1992.
92-26
Chakravarty, Sreejit; Gong, Yiming. An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits, October 1, 1992.
92-25
Revankar, Shriram; Sher, David B.. Constrained Contouring in the Polar Coordinates, October 1, 1992.
92-24
Jagota, A.; Regan, Kenneth W.. Performance, October 1, 1992.
92-23
Hexmoor, Henry H.; Nute, Donald. Methods for deciding what to do next and learning, September 1, 1992.
92-22
Milun, Davin; Sher, David B.. Improving Edge Detectors on Compressed Images-A Trainable Markov Random Field Approach, September 1, 1992.
92-21
Hexmoor, Henry H.; Lammens, Johan M.; Shapiro, Stuart C.. An Autonomous Agent Architecture for Integrating Perception and Acting with Grounded Embodied Symbolic Reasoning, August 1, 1992.
91-18
Regan, Kenneth W.; Schwentick, Thomas. On the Power of One Bit of a Number-P Function, June 5, 1992.
92-18
Sunder, S.; He, Xin. An NC Algorithm , July 1, 1992.
92-16
Chakravarty, Sreejit; Thadikaran, Paul J.. Generation and Simulation of IDDQ Tests for Bridging and Leakage Faults in Combinational Circuits, June 1, 1992.
92-14
Khoubyari, S.. The Application of Word Image Matching in Text Recogntion, June 1, 1992.
91-13
Shapiro, Stuart C.; Chalupsky, Hans; Chou, H.. Connecting ARC/INFO and SNACTor Project Report, June 1, 1992.
92-13
Revankar, Shriram; Sher, David B.. Pattern Extraction by Adaptive Propagation of a Regional Threshold, June 1, 1992.
91-12
Selman, Alan L.. A Taxonomy of Complexity Class of Functions, June 1, 1992.
92-12
Ho, Tin Kam. A Theory of Multiple Classifier Systems and Its Application to Visual Word Recognition, May 1, 1992.
92-10
Chuang, E.; Sher, David B.. Evidence Representation & Combination in Low-level Vision, May 1, 1992.
92-09
Chuang, E.; Sher, David B.. Chi-square Tests for Feature Detection, May 1, 1992.
91-04
Homer, Stephen; Selman, Alan L.. Complexity Theory, June 8, 1992.
92-03
Revankar, Shriram; Sher, David B.. Supervised Image Segmentation, January 1, 1992.
91-16
He, Xin. Parallel Algorithm for Cograph Recognition with Applications (Revised), June 1, 1991.
91-14
Shende, A.. Digital Analog Simulation of Uniform Motion in Representations of Physcial N-Space by Lattice-work MIMD Computer Architectures, April 1, 1991.
91-11
Jayaraman, Bharat. The SuRE Programming Framework, August 1, 1991.
91-09
Haas, J.; Jayaraman, Bharat. Automatic Synthesis of Semantics for Context-free Grammars, July 1, 1991.
91-05
He, Xin. Efficient Parallel Algorithms for Two Graph Layout Problems, June 1, 1991.
90-26
Sanath, R.; He, Xin. Efficient Parallel Algorithms for Selection and Searching on Sorted Matrices, February 1, 1990.
90-24
He, Xin. On Finding the Rectangular Duals of Planar Triangulated Graphs, September 1, 1990.
90-23
He, Xin. An Improved Algorithm for the Planar 3-Cut Problem, February 1, 1990.
90-21
Shapiro, Stuart C.; Rapaport, William J.. The SNePS Family, September 1, 1990.
90-13
Rapaport, William J.. Computer Processes and Virtual Persons: Comments on Cole's "Artificial Intelligence and Personal Identity", May 1, 1990.
90-12
Rapaport, William J.. Cognitive Science (Superseded by TR 96-19), May 1, 1990.

Valid XHTML 1.0 Transitional

  • UBHacking 2013 Image

    Research Spotlight

    UBHacking 2014

    Students competed 'round the clock in UB Hacking 2014 over the weekend of April 5-6. Winners, projects, prizes, and sponsors are announced here.

  • Tech Savvy 9 image

    Research Spotlight

    Tech Savvy 9

    CSE students presented a session at UB's Tech Savvy 9. Pictured are Victoria Minorczyk, Bich Vu, Dr. Alphonce, Kayla Weixlmann, Christine Baxter, Amie Vuong (l-r).

  • Steve Ko NSF CAREER image

    Research Spotlight

    Congratulations, Dr. Ko!

    CSE Assistant Professor Steve Ko won the prestigious NSF CAREER Award for his research program titled, 'Systems for Transparency in Personal Devices and Services'.

  • Shambhu Upadhyaya CEISARE WGRZ Image

    Research Spotlight

    CEISARE in the News

    In two Buffalo NBC affiliate WGRZ Channel 2 News features, Shambhu Upadhyaya explains CEISARE's work training cyberwarriors and developing countermeasures to power facility cyberattacks.

  • Chunming Qiao Chancellor's Award Image

    Research Spotlight

    Congratulations, Dr. Qiao!

    Chunming Qiao receives 2013 SUNY Chancellor's Award for Excellence in Scholarship and Creative Activities. Dr. Qiao is joined onstage by President Satish Tripathi, Provost Charles Zukoski, and SEAS Dean Liesl Folks.

  • UBHacking 2013 Competition Winners Image

    Research Spotlight

    UBHacking 2013 Winners

    GamePute won first prize in a field of 30 teams at UBHacking 2013. UBHacking organizers Joe Peacock and Nick DiRienzo pose with GamePute team Scott Florentino, Andrew Wantuch, Jen Cordaro, and Andrew Kopanon.

  • SEAS Poster Competition Winners 2013 Image

    Research Spotlight

    CSE students win SEAS Grad Student Poster Competition

    Ankur Upadhyay, Daniel Bellinger, and Sumit Agarwal's work on Laasie won first prize in the 2013 SEAS Graduate Student Poster Competition. They are advised by Luke Ziarek and Oliver Kennedy.

  • CSE Open House Image

    Research Spotlight

    Open House

    CSE undergrads demonstrate technology from the Center for Socially Relevant Computing (CSRC) to newly-accepted students and their parents at the CSE Open House on Saturday, March 23.

  • CSE Research Posters Image

    Research Spotlight

    Student Research Poster Session

    CSE graduate students and their faculty advisors present research posters in the Davis Atrium on March 7, 2013.

  • UB NCCC Image

    Research Spotlight

    Cyberdefenders

    CSE and Management students compete in the Northeast Collegiate Cyberdefense Competition (NCCC) on Saturday, January 19. UB advanced to the next round of competition, to be held at the University of Maine in March.

  • Cybersecurity Image

    Research Spotlight

    Cybersecurity

    UB's Center of Excellence in Information Systems, Assurance, Research, and Education (CEISARE) received a $1.6 million NSF grant to train students to protect the United States from cyberattacks. »

  • UB PhoneLab Image

    Research Spotlight

    UB PhoneLab

    Geoffrey Challen and Steven Ko are enlisting hundreds of students to build an unprecedented smartphone network to help scientists improve mobile computers and better understand how they're changing the world. »

  • UB CSE Research Image

    Research Spotlight

    Davis Hall dedication

    UB hosted Davis Hall's ribbon-cutting ceremony on May 12, 2012. Pictured (l to r) are: Kamlesh Tripathi, Margaret Jacobs, Jeremy Jacobs, Barbara Davis, Jack Davis, Rajan Batta, George Maziarz, and Harvey Stenger.

  • UB CSE Research Image

    Research Spotlight

    Davis Hall southwest elevation

    Davis Hall, CSE's new $75M headquarters, is designed to meet LEED "Gold" standards. The building is named for Barbara and Jack Davis. Davis is the founder of Akron-based I Squared R Element Co.

  • Ken Regan Image

    Research Spotlight

    Exposing chess cheats

    Theoretician and International Master chessplayer Kenneth W. Regan devises algorithms to detect chess cheating. The New York Times recently profiled his work .

  • UB CSE Research Image

    Research Spotlight

    Crystal clear

    Nobel Laureate Herbert Hauptman, a CSE affiliated professor, developed an algorithm for determining crystal structure. Computing in Science and Engineering Magazine named it one of the top 10 algorithms of the 20th century.

  • UB CSE Research Image

    Research Spotlight

    Handwriting recognition

    Pursuing work on document verification and identification, CSE researchers use machine-learning algorithms to study handwriting variability.

  • UB CSE Research Image

    Research Spotlight

    Structural determination

    CSE professor Russ Miller is one of the authors of a program that can determine the structure of molecules as large as 2,000 atoms from X-ray diffraction patterns.

  • UB CSE Research Image

    Research Spotlight

    Image analysis

    CSE professor Aidong Zhang is developing intelligent content-analysis programs to automatically analyze images, replacing human coding of semantic content.

  • UB CSE Research Image

    Research Spotlight

    Davis Hall northwest elevation

    This concept scheme shows Davis Hall, CSE's new $75M headquarters, viewed from the northwest. The edge of Ketter Hall is visible on the right, just east of Davis. UB held the ribbon-cutting ceremony on May 12, 2012.

  • UB CSE Research Image

    Research Spotlight

    Algorithm therapy

    A geometric algorithm developed by CSE professor Jinhui Xu configures a set of radiation beams to destroy brain tumors in a form of computer-aided surgery.

  • UB CSE Research Image

    Research Spotlight

    Award-winning faculty

    The CSE faculty includes NSF CAREER award holders; ACM, IEEE, and AAAI fellows; and editors of noteworthy journals.

  • UB CSE Research Image

    Research Spotlight

    Working together

    CSE faculty work with researchers in chemistry, the life sciences, the pharmaceutical sciences, media study, geography, and many other disciplines.

  • UB CSE Research Image

    Research Spotlight

    Davis Hall northeast elevation

    This concept scheme shows Davis Hall, CSE's new $75M headquarters, viewed from the northeast. Ketter and Furnas Halls can be seen on the left, just south of the new building. We broke ground in April 2009.

  • UB CSE Research Image

    Research Spotlight

    Automated mail

    CEDAR, a CSE-affiliated research center, developed the systems that postal agencies around the world use to automatically sort hand-addressed mail.

  • UB CSE Research Image

    Research Spotlight

    High-performance

    CSE's MultiStore Research Group is funded by a $1 million NSF grant for the development of high-performance online data-storage systems.

  • UB CSE Research Image

    Research Spotlight

    Cutting-edge research facilities

    CSE faculty are major participants in the new $200 million Buffalo Center of Excellence in Bioinformatics.

  • UB CSE Research Image

    Research Spotlight

    Grants for research

    CSE faculty average some $4.5 million annually in research grants. Our research areas range from high-performance computing to data mining.

<   /   >

Calendar

calendar image

Click on the calendar image to view the schedule of planned events.

See a list of current and past events.