Science and Technology Studies Commons^™

The Internet In Turkey And Pakistan: A Comparative Analysis, Peter Wolcott, Seymour E. Goodman

Information Systems and Quantitative Analysis Faculty Publications

The Global Diffusion of the Internet Project was initiated in 1997 to study the diffusion and absorption of the Internet to, and within, many diverse countries. This research has resulted in an ongoing series of reports and articles that have developed an analytic framework for evaluating the Internet within countries and applied it to more than 25 countries. (Seehttp://mosaic.unomaha.edu/gdi.html for links to some of these reports and articles.)

The current report applies the analytic framework to compare and contrast the Internet experiences of Turkey and Pakistan, through mid-2000. Although historically these countries have not been closely related, there are …

Classes Of Logic Programs Which Possess Unique Supported Models, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Logic programming is concerned with the use of logic as a programming language. The main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10]. The reference [1] contains a good survey of the growth of logic programming over the last twenty-five years both as a stand-alone programming language and as a software component of large information systems. One advantage a logic program P has …

Semantic Web And Information Brokering: Opportunities, Commercialization, And Challenges, Amit P. Sheth

Kno.e.sis Publications

From the chairs' report published in SIGMOD record: The keynote address entitled 'Semantic Web and Information Brokering: Opportunities, Early Commercializations, and Challenges' was delivered by Amit Sheth (University of Georgia and Taalee Corp). Sheth characterized semantics as the next step in the evolution of the WWW and stressed the importance of semantically organized information for supporting ubiquitous, powerful, accurate and efficient access to this information. Sheth also reviewed proposals for semantic interoperability frameworks such as the DAML(DARPA Agent Mark-Up Language), the Oingo family of tools for defining concepts and extracting knowledge from large databases, as well as several scenarios on …

Exception Handling In Workflow Systems, Zongwei Luo, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller

Kno.e.sis Publications

In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the “justified” ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler candidates in dealing with exceptional situations. Furthermore, a case-based reasoning (CBR) mechanism with integrated human involvement is used to improve the exception handling capabilities. This involves collecting cases to capture experiences in handling exceptions, retrieving similar prior exception handling cases, and reusing the exception handling experiences …

Dimensionality Reduction Using Genetic Algorithms, Michael L. Raymer, William F. Punch, Erik D. Goodman, Leslie A. Kuhn, Anil K. Jain

Kno.e.sis Publications

Pattern recognition generally requires that objects be described in terms of a set of measurable features. The selection and quality of the features representing each pattern affect the success of subsequent classification. Feature extraction is the process of deriving new features from original features to reduce the cost of feature measurement, increase classifier efficiency, and allow higher accuracy. Many feature extraction techniques involve linear transformations of the original pattern vectors to new vectors of lower dimensionality. While this is useful for data visualization and classification efficiency, it does not necessarily reduce the number of features to be measured since each …

A New Fixed-Point Theorem For Logic Programming Semantics, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We present a new fixed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also inspired by a theorem of S.G. Matthews which grew out of applications to conventional programming language semantics. The class of programs to which we apply our theorem was defined previously by us in terms of operators …

On-Line Bayesian Speaker Adaptation By Using Tree-Structured Transformation And Robust Priors, Shaojun Wang, Yunxin Zhao

Kno.e.sis Publications

This paper presents new results by using our previously proposed on-line Bayesian learning approach for affine transformation parameter estimation in speaker adaptation. The on-line Bayesian learning technique allows updating parameter estimates after each utterance and it can accommodate flexible forms of transformation functions as well as prior probability density functions. We show through experimental results the robustness of heavy tailed priors to mismatch in prior density estimation. We also show that by properly choosing the transformation matrices and depths of hierarchical trees, recognition performance improved significantly.

Local Properties Of Query Languages, Guozhu Dong, Leonid Libkin, Limsoon Wong

Kno.e.sis Publications

In this paper we study the expressiveness of local queries. By locality we mean — informally — that in order to check if a tuple belongs to the result of a query, one only has to look at a certain predetermined portion of the input. Examples include all relational calculus queries. We start by proving a general result describing outputs of local queries. This result leads to many easy inexpressibility proofs for local queries. We then consider a closely related property, namely, the bounded degree property. It describes the outputs of local queries on structures that locally look “simple.” Every …

The Space Of Jumping Emerging Patterns And Its Incremental Maintenance, Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong

Kno.e.sis Publications

The concept of jumping emerging patterns (JEPs) has been proposed to describe those discriminating features which only occur in the positive training instances but do not occur in the negative class at all; JEPs have been used to construct classifiers which generally provide better accuracy than the state-of-the-art classifiers such as C4.5. The algorithms for maintaining the space of jumping emerging patterns (JEP space) are presented in this paper. We prove that JEP spaces satisfy the property of convexity. Therefore JEP spaces can be concisely represented by two bounds: consisting respectively of the most general elements and the most specific …

Konzepte Der Mensch-Computer-Kommunikation In Den 1960er Jahren: J. C. R. Licklider, Douglas Engelbart Und Der Computer Als IntelligenzverstäRker, Michael Friedewald

Michael Friedewald

In the history of data processing and computer science the early 1960s were a phase of fundamental decisions. Standards in computer architecture and hardware that are still valid today were established to a large extent. The period of prototypes was finally over. Driven by the military needs in the cold war computers had become industrially manufac- tured products.

At the same time a profound discussion about the nature of the computer arose. On the one side were those arguing that the computer was a means for mechanization and automation of mental activities. For the advocates of this direction the human …

Nutzeranforderungen Und Zukünftige Endgeräte Für Online-Dienste, Michael Friedewald, Castulus Kolo

Michael Friedewald

Für die Akzeptanz netzbasierter Mediendienste ist die technische Weiterentwicklung der Mensch-Maschine-Schnittstelle von großer Bedeutung. Das Fraunhofer-Institut für Systemtechnik und Innovationsforschung (ISI) in Karlsruhe hat Experten um eine Einschätzung verschiedener Akzeptanzfaktoren, der zukünftigen Entwicklung des Mediennutzungsverhaltens, der Versorgungswege und Endgeräteausstattung sowie der Marktentwicklung gebeten. Im Gegensatz zu weitverbreiteten technophilen Möglichkeitsszenarien werden auf dieser Basis Perspektiven aufgezeigt, die angesichts heutiger Wünsche der Nutzer an die Technikgestaltung und der technischen Möglichkeiten realistisch erscheinen.

Die Geistigen Und Technischen Wurzeln Des Personal Computers, Michael Friedewald

Michael Friedewald

Personal Computer sind aus der heutigen Arbeitswelt nicht wegzudenken und haben längst ihren festen Platz als privates Kommunikationsmedium. Die historische Analyse zeigt, dass die Ent-wicklung des interaktiven Computers von 1945 bis 1985 nicht zielgerichtet erfolgte. Der heu- tige Stand der Technik ist vielmehr Schlusspunkt einer eher zufälligen Folge lokaler Gegebenhei- ten und Umstände. Technische Neuerungen, wie der Digitalcomputer und die Mikrochips, aber auch theoretische Konzepte (Kybernetik, Kognitive Psychologie) und Visionen trieben die Ent- wicklung voran. Entscheidend für den Durchbruch war das Zusammentreffen akademischer und anwendungsorientierter Forschung.

Optimization Techniques For Data Intensive Decision Flows, Richard Hull, Francois Llirbat, Bharat Kumar, Gang Zhou, Guozhu Dong, Jianwen Su

Kno.e.sis Publications

For an enterprise to take advantage of the opportunities afforded by electronic commerce it must be able to make decisions about business transactions in near-real-time. In the coming era of segment-of-one marketing, these decisions will be quite intricate, so that customer treatments can be highly personalized, reflecting customer preferences, the customer's history with the enterprise, and targeted business objectives. This paper describes a paradigm called “decision flows” for specifying a form of incremental decision-making that can combine diverse business factors in near-real-time.

This paper introduces and empirically analyzes a variety of optimization strategies for decision flows that are “data-intensive”, i.e. …

Separating Auxiliary Arity Hierarchy Of First-Order Incremental Evaluation Using (3+1)-Ary Input Relations, Guozhu Dong, Louxin Zhang

Kno.e.sis Publications

Presents a first-order incremental evaluation system that uses first-order queries to maintain a database view defined by a non-first-order query. Reduction of the arity of queries to understand the power of foies; Use of a key lemma for proving a query which encodes the multiple parity problem.

Imprecise Answers In Distributed Environments: Estimation Of Information Loss For Multi-Ontology Based Query Processing, Eduardo Mena, Vipul Kashyap, Arantza Illarramendi, Amit P. Sheth

Kno.e.sis Publications

The World Wide Web is fast becoming a ubiquitous computing environment. Prevalent keyword-based search techniques are scalable, but are incapable of accessing information based on concepts. We investigate the use of concepts from multiple, real-world pre-existing, domain ontologies to describe the underlying data content and support information access at a higher level of abstraction. It is not practical to have a single domain ontology to describe the vast amounts of data on the Web. In fact, we expect multiple ontologies to be used as different world views and present an approach to "browse" ontologies as a paradigm for information access. …