Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Databases and Information Systems (126)
- Engineering (120)
- Computer Engineering (91)
- Software Engineering (89)
- Business (78)
-
- Education (66)
- Social and Behavioral Sciences (41)
- OS and Networks (40)
- Management Information Systems (33)
- Mathematics (31)
- Electrical and Computer Engineering (30)
- Graphics and Human Computer Interfaces (30)
- Higher Education (29)
- Educational Technology (25)
- Arts and Humanities (24)
- E-Commerce (24)
- Applied Mathematics (19)
- Artificial Intelligence and Robotics (19)
- Digital Communications and Networking (19)
- Science and Mathematics Education (19)
- Teacher Education and Professional Development (18)
- History (17)
- History of Science, Technology, and Medicine (17)
- Information Security (17)
- Life Sciences (17)
- Communication (15)
- Library and Information Science (15)
- Theory and Algorithms (15)
- Institution
-
- University of Malaya (143)
- Singapore Management University (42)
- Washington University in St. Louis (35)
- Dartmouth College (33)
- Wright State University (25)
-
- Air Force Institute of Technology (24)
- Purdue University (21)
- Brigham Young University (19)
- California Polytechnic State University, San Luis Obispo (17)
- Taylor University (17)
- University of Nebraska - Lincoln (15)
- Edith Cowan University (13)
- Old Dominion University (13)
- TÜBİTAK (13)
- New Jersey Institute of Technology (11)
- Portland State University (11)
- Syracuse University (8)
- East Tennessee State University (7)
- Missouri University of Science and Technology (7)
- Munster Technological University (6)
- California State University, San Bernardino (5)
- Claremont Colleges (5)
- Florida Institute of Technology (5)
- Nova Southeastern University (5)
- Smith College (5)
- University of Nevada, Las Vegas (4)
- University of New Hampshire (4)
- American University in Cairo (3)
- Technological University Dublin (3)
- University of Alabama in Huntsville (3)
- Keyword
-
- Computer Science (10)
- College of Engineering and Computer Science (9)
- Engineering (9)
- Newsletters (9)
- Science news (9)
-
- Technical writing (9)
- Data management (8)
- Information retrieval (8)
- Information technology (7)
- Internet (6)
- Information management (5)
- Mobile computing (5)
- Software engineering (5)
- Coding (4)
- Computer networks (4)
- Computer security (4)
- Database (4)
- E-Commerce (4)
- Genetic algorithms (4)
- Information warfare (4)
- Web (4)
- [RSTDPub] (4)
- Algorithms (3)
- Asynchronous Transfer Mode (ATM) (3)
- Computer science (3)
- Computer simulation (3)
- Digital libraries (3)
- E-commerce (3)
- Education (3)
- Electronic commerce (3)
- Publication
-
- Student Works (2000-2009) (143)
- Research Collection School Of Computing and Information Systems (42)
- All Computer Science and Engineering Research (35)
- Theses and Dissertations (26)
- Department of Computer Science Technical Reports (21)
-
- Faculty Publications (19)
- Dartmouth College Undergraduate Theses (16)
- ACMS Conference Proceedings 2001 (15)
- Turkish Journal of Electrical Engineering and Computer Sciences (13)
- Theses (12)
- Computer Science Technical Reports (10)
- Computer Science and Software Engineering (10)
- BITs and PCs Newsletter (9)
- Computer Science and Engineering Faculty Publications (8)
- Kno.e.sis Publications (8)
- Collaborative Agent Design (CAD) Research Center (7)
- Electrical Engineering and Computer Science - All Scholarship (7)
- Electronic Theses and Dissertations (7)
- School of Computing: Conference and Workshop Papers (7)
- Computer Science Faculty Publications (6)
- Computer Science Faculty Publications and Presentations (6)
- Computer Science Faculty Research & Creative Works (6)
- Research outputs pre 2011 (6)
- Computer Science: Faculty Publications (5)
- Dartmouth Scholarship (5)
- Dissertations (5)
- Theses : Honours (5)
- Theses Digitization Project (5)
- CCAC Theses and Dissertations (4)
- Complex Systems Faculty Publications and Presentations (4)
- Publication Type
Articles 331 - 360 of 558
Full-Text Articles in Computer Sciences
E-Spatial Technology For Spatial Analysis And Decision Making In Web-Based Land Information Management Systems, James Carswell
E-Spatial Technology For Spatial Analysis And Decision Making In Web-Based Land Information Management Systems, James Carswell
Articles
In this paper we describe e-SpatialTM technology, comprising an innovative software solution for deploying integrated web-based spatial applications within Oracle 9i Database environments. The two main components of the solution are the iSMARTTM database development technology and the i-SpatialTM Information Server (iSIS). This technology allows Oracle users to build and deploy both spatially enabled and standard Internet applications without requiring any application-specific GIS source code. It can be deployed on any Oracle supported hardware platform and on any device running a Java Virtual Machine, thus providing full support for wireless, PDAs and other mobile devices. In particular, we describe a …
Meta-Genetic Programming: Co-Evolving The Operators Of Variation, Bruce Edmonds
Meta-Genetic Programming: Co-Evolving The Operators Of Variation, Bruce Edmonds
Turkish Journal of Electrical Engineering and Computer Sciences
The standard Genetic Programming approach is augmented by co-evolving the genetic operators. To do this the operators are coded as trees of indefinite length. In order for this technique to work, the language that the operators are defined in must be such that it preserves the variation in the base population. This technique can varied by adding further populations of operators and changing which populations act as operators for others, including itself, thus to provide a framework for a whole set of augmented GP techniques. The technique is tested on the parity problem. The pros and cons of the technique …
All-Optical Networking, Altan Koçyi̇ği̇t, Demeter Gökişik, Semi̇h Bi̇lgen
All-Optical Networking, Altan Koçyi̇ği̇t, Demeter Gökişik, Semi̇h Bi̇lgen
Turkish Journal of Electrical Engineering and Computer Sciences
A survey of recent literature on all optical networking is presented. Starting from multiplexing techniques and topological features, network design and performance issues are reviewed. Particular attention is devoted to Wavelength Division Multiplexing (WDM) networks. Static and dynamic solutions of the routing and wavelength assignment (RWA) problem are considered. Issues of current research are summarized.
The Extraction Of Classification Rules And Decision Trees From Independence Diagrams, Robert W. Kerbs
The Extraction Of Classification Rules And Decision Trees From Independence Diagrams, Robert W. Kerbs
CCAC Theses and Dissertations
Databases are growing exponentially in many application domains. Timely construction of models that represent identified patterns and regularities in the data facilitate the prediction of future events based upon past performance. Data mining can promote this process through various model building techniques. The goal is to create models that intuitively represent the data and perhaps aid in the discovery of new knowledge.
Most data mining methods rely upon either fully-automated information-theoretic or statistical algorithms. Typically, these algorithms are non-interactive, hide the model derivation process from the user, require the assistance of a domain expert, are application-specific, and may not clearly …
Dynamic Update Techniques For Online Maps And Attributes Data, Thanh H. Pham
Dynamic Update Techniques For Online Maps And Attributes Data, Thanh H. Pham
CCAC Theses and Dissertations
Online databases containing geographic and related tabular data for maps and attributes often require continuous updates from widely distributed sources afield. For some applications, these data are dynamic, and thus are of little value if they do not reflect the latest information or changes. A status map that depicts graphically temporal data affecting accountability is an example of this type of data. How can accommodations be made collectively for the perpetual data updates in the database and the need to deliver online information in real time without making concessions? The goal of the dissertation was to analyze and evaluate techniques …
An Integrated Design-Object Modeling Environment -- Pluggable Metamodel Mechanism --, Masaharu Yoshioka, Takayuki Sekiya, Tetsuo Tomiyama
An Integrated Design-Object Modeling Environment -- Pluggable Metamodel Mechanism --, Masaharu Yoshioka, Takayuki Sekiya, Tetsuo Tomiyama
Turkish Journal of Electrical Engineering and Computer Sciences
We propose a new integrated computational environment to support design object modeling, during engineering design process that requires a variety of design object models, such as a geometric model, a control model, and a finite element model. To integrate multiple design object models, we have developed a mechanism called a metamodel mechanism that maintains consistency among various models. The metamodel mechanism represents relationships among concepts used in these models and is useful, for example, to conduct concurrent engineering practices. In this framework, we formalize a design process as operations to the metamodel. This paper expands the concept of the metamodel …
The Design Of 3d Cyberspace As User Interface: Advantages And Limitations, Maria Borisovna Quick
The Design Of 3d Cyberspace As User Interface: Advantages And Limitations, Maria Borisovna Quick
Theses : Honours
Virtual reality propagandists, technologists and the Internet community have long debated the issue of the usability of online three-dimensional (3D) environments. A lot of work was published about the benefits of 3D spaces for human-computer interaction and information visualisation due to their realism (Anders, Kalawsky, Crossley, Davies, McGrath, Rejman-Greene, 1998, Hamit, 1993, Heim, 1992, Aukstakalnis, Blatner, Roth, 1992). This topic also receives continuous industry support including standardisation of Virtual Reality Modeling Language ( VRML, VRML Consortium, 1997) and the more recent Macromedia & Intel alliance "to bring web 3D to the mainstream" (200 1, Intel Corporation). The actual implementation …
Integrated Hospital System Administration System, Siao Wei Ng
Integrated Hospital System Administration System, Siao Wei Ng
Student Works (2000-2009)
The concept of Integrated Hospital System have been brought up to take advantage of the modern technologies; the tremendous growth of information technology has change the olden style of management into electronic based. Based on the objective, the system is build to substitute the manual process that is practiced in most of the hospital especially in government hospital now a day. It is aim to reduce the time spent from registration, help get pharmacy done quickly, helps to generate the bill faster and accurately and help people to get their information in their fingertips when and where they need it. …
Combining Multiple Representations For Pen-Based Handwritten Digit Recognition, Fevzi̇ Ali̇moğlu, Ethem Alpaydin
Combining Multiple Representations For Pen-Based Handwritten Digit Recognition, Fevzi̇ Ali̇moğlu, Ethem Alpaydin
Turkish Journal of Electrical Engineering and Computer Sciences
We investigate techniques to combine multiple representations of a handwritten digit to increase classification accuracy without significantly increasing system complexity or recognition time. In pen-based recognition, the input is the dynamic movement of the pentip over the pressure sensitive tablet. There is also the image formed as a result of this movement. On a real-world database of handwritten digits containing more than 11,000 handwritten digits, we notice that the two multi-layer perceptron (MLP) based classifiers using these representations make errors on different patterns implying that a suitable combination of the two would lead to higher accuracy. We implement and compare …
Guidelines For Development Of Courses For Delivery Over The Iowa Communications Network, Gary F. Hasman
Guidelines For Development Of Courses For Delivery Over The Iowa Communications Network, Gary F. Hasman
CCAC Theses and Dissertations
This paper examines the quality of education as it relates to the Iowa Communications Network (ICN). It reviews the literature to determine a working definition of quality that was used to create a list of characteristics desirable in teachers who use technology. A list of such teachers was solicited from three administrative committees of the ICN and from the directors of the state's 15 area education agencies. Four teachers were selected from the list and their approach to creating programs for delivery over the ICN was examined. Personal interviews were used to discover commonalities among the four teachers' approaches to …
Comparison Of Student Performance And Attitude In A Lecture Class To Student Performance And Attitude In A Telecourse And A Web-Based Class, William J. Ryan
Comparison Of Student Performance And Attitude In A Lecture Class To Student Performance And Attitude In A Telecourse And A Web-Based Class, William J. Ryan
CCAC Theses and Dissertations
Increasing numbers of students are returning to school and choosing alternatives to the lecture method of instruction. Using technology to reach students is a solution colleges and universities are evaluating and implementing with the goal of increasing enrollment and reducing the cost of instruction. This research examines the impact two technology-based delivery systems have on the student's learning experience compared with an equivalent classroom-based instructional method.
Academic institutions are being asked to respond to the rapid changes faced by the communities they serve especially as current workers return to join new students in obtaining knowledge and skills needed in today's …
Placing Servers For Session-Oriented Services, Sumi Choi, Yuval Shavitt
Placing Servers For Session-Oriented Services, Sumi Choi, Yuval Shavitt
All Computer Science and Engineering Research
The provisioning of dynamic forms of services is becoming the main stream of today's network. In this paper, we focus on services assisted by network servers and different forms of associated sessions. We identify two types of services: transparent, where the session is unaware of the server location, and configurable, where the sessions need to be configured to use their closest server. For both types we formalize the problem of optimally placing network servers and introduce approximated solutions. We present simulation result of approximations and heuristics. We also solve the location problem optimally for a special topology. We show, through …
The Fpx Kcpsm Module: An Embedded, Reconfigurable Active Processing Module For The Field Programmable Port Extender (Fpx), Henry Fu, John W. Lockwood
The Fpx Kcpsm Module: An Embedded, Reconfigurable Active Processing Module For The Field Programmable Port Extender (Fpx), Henry Fu, John W. Lockwood
All Computer Science and Engineering Research
While hardware plugins are well suited for processing data with high throughput, software plugins are well suited for implementing complex control functions. A plugin module has been implemented for the FPX that executes software on an embedded soft-core processor. By including this module in an FPX design, it is possible to implement active networking functions on the FPX using both hardware and software. The KCPSM, an 8-bit microcontroller developed by Xilinx Corp., has been embedded into an FPX module. The module includes circuits to be reprogrammed over the network and to execute new programs between the processing of data packerts. …
Fuzzycast: Media Broadcasting For Multiple Asynchronous Receivers, Marcel Waldvogel, Wei Deng, Ramaprabhu Janakiraman
Fuzzycast: Media Broadcasting For Multiple Asynchronous Receivers, Marcel Waldvogel, Wei Deng, Ramaprabhu Janakiraman
All Computer Science and Engineering Research
When using an on-demand media streaming system on top of a network with Multicast support, it is sometimes more efficient to use broadcast to distribute popular content. There has been a lot of research in broadcasting on-demand content to multiple, asynchronous receivers. In this paper, we propose a family of novel, practical techniques for broadcasting on-demand media, which achieve lowest known server/network bandwidth usage and I/O efficient client buffer management, while retaining the simplicity of a frame-based single channel scheme.
Fast Incremental Crc Updates For Ip Over Atm Networks, Florian Braun, Marcel Waldvogel
Fast Incremental Crc Updates For Ip Over Atm Networks, Florian Braun, Marcel Waldvogel
All Computer Science and Engineering Research
In response to the increasing network speeds, many operations in IP routers and similar devices are being made more efficient. With the advances in other areas of packet processing, the verification and regeneration of cyclic redundancy check (CRC) codes of the data link layer is likely to become a bottleneck in the near future. In this paper, we present a mechanism to defer CRC verification without compromising reliability. This opens the possibility of incremental updates of the CRC. We introduce a new high-speed technique and present efficient implementation, speeding up CRC processing by a factor of 15. Although the paper …
The Smart Port Card: An Embedded Unix Processor Architecture For Network Management And Active Networking, John D. Dehart, William D. Richard, Edward W. Spitznagel, David E. Taylor
The Smart Port Card: An Embedded Unix Processor Architecture For Network Management And Active Networking, John D. Dehart, William D. Richard, Edward W. Spitznagel, David E. Taylor
All Computer Science and Engineering Research
This paper describes the architecture of the Smart Port Card (SPC) designed for use with the Washington University Gigabit Switch. The SPC uses an embedded Intel Pentium processor running open-source NetBSD to support network management and active networking applications. The SPC physically connects between a switch port and a normal link adapter, allowing cell streams to be processed as they enter or leave the switch. In addition to the hardware architecture, this paper describes current and future applications for the SPC.
Evaluation Of Motion-Jpeg2000 For Video Processing, Wei Yu, Ruibiao Qiu, Jason Fritts
Evaluation Of Motion-Jpeg2000 For Video Processing, Wei Yu, Ruibiao Qiu, Jason Fritts
All Computer Science and Engineering Research
The new ISO/ITU-T standard for still image coding, JPEG2000, has been shown to provide superior coding efficiency to the previous standard, JPEG. Because of the superb performance of JPEG2000, it is reasonable to argue that Motion-JPEG2000, the corresponding moving picture coding standard of JPEG2000, has equally outstanding performance. However, there has not been a sufficient performance evaluation of Motion-JPEG2000. To this end, we have studied the potential of Motion-JPEG2000 for video processing. Our experiments show that Motion-JPEG2000 provides high compression performance, strong error resilience, and good perceptual image quality. Together with a rich set of features inherited from JPEG2000, Motion-JPEG2000 …
Performance Of Deferred Reservations In Data Networks, Samphel Norden, Jonathan Turner
Performance Of Deferred Reservations In Data Networks, Samphel Norden, Jonathan Turner
All Computer Science and Engineering Research
This paper studies the performance of deferred resource reservation in data networks. Conventional resource reservation protocols, such as PNNI and RSVP adopt an all-or-nothing approach, where partially acquired resources must be released if resources are not available at all links on the chosen path. During periods of high network load, this leads users to retry requests repeatedly, adding control traffic at exactly the time when the network's capacity to process that control traffic is exhausted. Deferred REServation (DRES) can significantly improve performance by reducing the overall call rejection probability, allowing more traffic to be carried, using the same resources. Call …
An Efficient Quality Scalable Motion-Jpeg2000 Transmission Scheme, Ruibiao Qiu, Wei Yu
An Efficient Quality Scalable Motion-Jpeg2000 Transmission Scheme, Ruibiao Qiu, Wei Yu
All Computer Science and Engineering Research
Video application over the Internet are getting increasingly popular because of the explosive growth of the Internet. However, video packets loss due to network congestions can degrade the video quality substantially. In this paper, we propose a transmission scheme for Motion-JPEG2000. It can be implemented in an active network environment efficiently. Our simulation shows that our scheme gracefully adapts to network congestion and improves the quality of video transmission in congested IP networks.
Embedding Images In Non-Flat Spaces, Robert Pless
Embedding Images In Non-Flat Spaces, Robert Pless
All Computer Science and Engineering Research
Multi-dimensional scaling is an analysis tool which transforms pairwise distances between points to an embedding of points in space which are consistent with those distances. Two recent techniques in statistical patter recognition, locally linear embedding (LLE) and Isomap, give a mechanism for finding the structure underlying point sets for which comparisons or distances are only meaningful between nearby points. We give a direct method to extend the embedding algorithm to new topologies, finding the optimal embedding of points whose geodesic distance on a surface mathes the given pairwise distance measurements. Surfaces considered include spheres, cylinders, tori, and their higher dimensional …
A Termination Detection Protocol For Use In Mobile Ad Hoc Networks, Gruia-Catalin Roman, Jamie Payton
A Termination Detection Protocol For Use In Mobile Ad Hoc Networks, Gruia-Catalin Roman, Jamie Payton
All Computer Science and Engineering Research
As computing devices become smaller and wireless networking technologies improve, the popularity of mobile computing continues to rise. In today's business world, many consider devices such as cell phones, PDAs, and laptops as essential tools. As these and other devices become increasingly independent of the wired infrastructure, new kinds of applications that assume an ad hoc network infrastructure will need to be deployed. Such a setting poses new challenges for the software developer, e.g., the lack of an established network topology, bandwidth limitations, and frequent disconnections. In this paper, we begin to explore design strategies for developing applications over ad …
Parbit: A Tool To Transform Bitfiles To Implement Partial Reconfiguration Of Field Programmable Gate Arrays (Fpgas), Edson L. Horta, John W. Lockwood
Parbit: A Tool To Transform Bitfiles To Implement Partial Reconfiguration Of Field Programmable Gate Arrays (Fpgas), Edson L. Horta, John W. Lockwood
All Computer Science and Engineering Research
Field Programmable Gate Arrays (FPGAs) can be partially reconfigured to implement Dynamically loadable Hardware Plugin (DHP) modules. A tool called PARBIT has been developed that transforms FPGA configuration bitfiles to enable DHP modules. With this tool it is possible to define a partial reconfigurable area inside the FPGA and download it into a specified region of the FPGA device. One or more DHPs, with different sizes can be implemented using PARBIT.
Relying On Safe Distance To Ensure Consistent Group Membership In Ad Hoc Networks, Qingfeng Huang, Christine Julien, Gruia-Catalin Roman, Ali Hazemi
Relying On Safe Distance To Ensure Consistent Group Membership In Ad Hoc Networks, Qingfeng Huang, Christine Julien, Gruia-Catalin Roman, Ali Hazemi
All Computer Science and Engineering Research
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important because they simplify both the programming and verification tasks. Essential to constructing a consitent view is the ability to know what hosts are within proximity of each other, i.e., form a group in support of the particular application. In this paper we propose a protocol that allows hosts within communication range to maintain a consistent view of the group membership despite movement and frequent disconnections. The novel features of this protocol are its …
Scheduling Processing Resources In Programmable Routers, Prashanth Pappu, Tilman Wolf
Scheduling Processing Resources In Programmable Routers, Prashanth Pappu, Tilman Wolf
All Computer Science and Engineering Research
To provide flexibility in deploying new protocols and services, general-purpose processing engines are being placed in the datapath of routers. Such network processors are typically simple RISC multiprocessors that perform forwarding and custom application processing of packets. The inherent unpredictability of execution time of arbitrary instruction code poses a significant challenge in providing QoS guarantees for data flows that compete for such processing resources in the network. However, we show that network processing workloads are highly regular and predictable. Using estimates of execution times of various applications on packets of given lengths, we provide a method for admission control and …
Design Of Wavelength Converting Switches For Optical Burst Switching, Jeyashankher Ramamirtham, Jonathan Turner
Design Of Wavelength Converting Switches For Optical Burst Switching, Jeyashankher Ramamirtham, Jonathan Turner
All Computer Science and Engineering Research
Optical Burst Switching (OBS) is an experimental network technology that enables the construction of very high capacity routers, using optical data paths and electronic control. In this paper, we study two designs for wavelength converting switches that are suitable for use in optical burst switching systems and evaluate their performance. Both designs use tunable lasers to implement wavelength conversion. One is strictly nonblocking design, that also requires optical crossbars. The second substitutes Wavelength Grating Routers (WGR) for the optical crossbars, reducing cost, but introducing some potential for blocking. We show how the routing problem for the WGR-based switches can be …
Graduate School Of Computer And Information Sciences--Master Of Science Degree Programs 2001-2003, Nova Southeastern University
Graduate School Of Computer And Information Sciences--Master Of Science Degree Programs 2001-2003, Nova Southeastern University
College of Engineering and Computing Course Catalogs
No abstract provided.
Local Search And Encoding Schemes For Soft Constraint Minimization Problems, Michael P. Moran, Weixiong Zhang
Local Search And Encoding Schemes For Soft Constraint Minimization Problems, Michael P. Moran, Weixiong Zhang
All Computer Science and Engineering Research
Soft constraint minimization problems (SCMPs) contain hard constraints that cannot be violated and soft constraints that may be violated but carry penalties if not satisfied. In this paper, we first extend local search, WalkSAT in particular, to SCMPs and study the existing SAT encoding schemes for SCMPs. We propose a general encoding method called k-encoding. We then investigate the effects of local search neiborhood structures introduced by encoding schemes and analyze the anytime performance of extended WalkSAT using different encoding methods. Our experimental results on various graph coloring problems show that a direct extension of WalkSAT is most effective, and …
Aggregated Hierarchical Multicast For Active Networks, Tilman Wolf, Sumi Y. Choi
Aggregated Hierarchical Multicast For Active Networks, Tilman Wolf, Sumi Y. Choi
All Computer Science and Engineering Research
Active Networking is the basis for a range of new and innovative applications that make use of computational resources inside network routers. One such application is Aggregated Hierarchical Multicast, which aims at implementing efficient many-to-many communication. In certain scenarios it is possible to transmit less accurate, aggregated data and thus achieve better scalability. Using Active Networks, this aggregation computation can be done transparently by network routers without end system support. We present how aggregated data streams can be structured in a hierarchical fashion to allow easy access of data at the desired aggregation level. We introduce two application examples to …
A Distributed Annotation System, Robin Dowell
A Distributed Annotation System, Robin Dowell
All Computer Science and Engineering Research
One goal of any genome project is the elucidation of hte primary sequence of DNA contained within a given species. While the availability ot the primary sequence itself is valuable, it does not reach its full potential until i has been annotated. Generally defined, annotation is descriptive information or commentary added to text, in this case genomic sequence. Without a mechanism for collecting, recording, and disseminating community-based annotation, a valuable source of information is severely diminshed. In this report I outline the design and implementation of a Distributed Annotation System (DAS). DAS allowes sequence annotations to be decentralized among multiple …
Phase Transitions And Backbones Of Constraint Minimization Problems, Weixiong Zhang
Phase Transitions And Backbones Of Constraint Minimization Problems, Weixiong Zhang
All Computer Science and Engineering Research
Many real-world problems involve constraints that cannot be all satisfied. The goal toward an overconstrained problem is to find solutions minimizing the total number of constraints violated. We call such a problem constraint minimization problem (CMP). We study the behavior of the phase transitions and backbones of CMP. We first investigate the relationship between the phase transitions of Boolean satisfiability, or precisely 3-SAT (a well-studied NP-complete decision problem), and the phase transitions of MAX 3-SAT (an NP-hard optimization problem). To bridge the gap between the easy-hard-easy phase transitions of 3-SAT, in which solutions of bounded quality, e.g., solutions with at …