Digital Commons Network^™

Active Information Retrieval, Tommi Jaakkola, Hava Siegelmann

Hava Siegelmann

In classical large information retrieval systems, the system responds to a user initiated query with a list of results ranked by relevance. The users may further refine their query as needed. This process may result in a lengthy correspondence without conclusion. We propose an alternative active learning approach, where the system responds to the initial user’s query by successively probing the user for distinctions at multiple levels of abstraction. The system’s initiated queries are optimized for speedy recovery and the user is permitted to respond with multiple selections or may reject the query. The information is in each case unambiguously …

Metaxpath, Curtis Dyreson, Michael H. Böhen, Christian S. Jensen

Curtis Dyreson

This paper presents the METAXPath data model and query language. METAXPath extends XPath with support for XML metadata. XPath is a specification language for locations in an XML document it serves as the basis for XML query languages like XSLT and the XML Query Algebra.

The METAXPath data model is a nested XPath tree. Each level of metadata induces a new level of nesting. The data model separates metadata and data into different data spaces, supports meta-metadata and enables sharing of metadata common to a group of nodes without duplication. The METAXPath query language has a level shift operator to …

Oral History Interview With William Mcgee, Philip L. Frana

Philip L Frana

William McGee is a retired senior programmer at the IBM Santa Teresa Laboratory. McGee received the AB degree in physics from the University of California at Berkeley in 1949, and the MA degree in physics from Columbia University in 1951. From 1951 to 1959, McGee managed the numerical analysis unit at the General Electric Hanford Atomic Products Operation in Richland, Washington. Between 1959 and 1964 he led systems programming and research at Ramo Wooldridge Corporation in Canoga Park, California. McGee joined ...

Developing Haptic And Visual Perceptual Categories For Reaching And Grasping With A Humanoid Robot, Jefferson Coelho, Justus Piater, Roderic Grupen

Roderic Grupen

Properties of the human embodiment sensorimotor apparatus and neurological structure participate directly in the growth and development of cognitive processes against enormous worst case complexity. It is our position that relationships between morphology and perception over time lead to incerasingly comprehensive models that describe the agent's relationship to the world.We are applying insight derived from neuroscience, neurology, and developmental psychology to the design of advanced robot architectures. To investigate developmental processes, we have begun to approximate the human sensorimotor configuration and to engage sensory and motor subsystems in developmental sequences. Many such sequences have been documented in studies of infant …

Packaging Predictable Assembly With Prediction-Enabled Component Technology, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau

Gabriel A. Moreno

Oral History Interview With Donald D. Chamberlin, Philip L. Frana

Philip L Frana

Don Chamberlin is a research staff member at IBM Almaden Research Center in San Jose, California. In this oral history Chamberlin recounts his early life, his education at Harvey Mudd College and Stanford University, and his work on relational database technology. Chamberlin was a member of the System R research team and, with Ray Boyce, developed the SQL database language. Chamberlin also briefly discusses his more recent research on XML query languages.

Formalization Of Computer Supported Cooperative Work Applications, Carl Chang, Jia Zhang, Tsang Ming Jiang

Jia Zhang

No abstract provided.

Applicability Of General Scenarios To The Architecture Tradeoff Analysis Method, Len Bass, Mark H. Klein, Gabriel A. Moreno

Gabriel A. Moreno

Oral History Interview With Mark P. Mccahill, Philip L. Frana

Philip L Frana

In this oral history Mark P. McCahill, Assistant Director of Academic and Distributed Computing Services at the University of Minnesota, recounts his role as leader of the team that created the popular client/server software for organizing and sharing information on the Internet. McCahill also describes his work in the development of Pop Mail, Gopher VR, Forms Nirvana, the Electronic Grants Management System, and the University of Minnesota Portal.

Oral History Interview With Glenn Henry, Philip L. Frana

Philip L Frana

Glenn Henry begins by briefly outlining his education and early work career prior to joining IBM. The majority of the interview focuses on Henry's work as a software systems engineer and manager at IBM in the 1970s. Henry was centrally involved in the software development and hardware definitions for IBM's early Midrange Series computers. He had managerial roles at IBM San Jose and IBM Boca Raton before leading a large team at the home of IBM Midrange Series hardware and software development, IBM Rochester. He details the ...

Insufficiency Of Piecewise Evolution, Sanza Kazadi, Yan Qi, Isaac Park, Nancy Huang, Paul Hwu, Brian Kwan, Wayne Lue, Hubert Li

Sanza Kazadi

The Power Of Two Random Choices: A Survey Of Techniques And Results, Michael Mitzenmacher, Andrea Richa, Ramesh Sitaraman

Ramesh Sitaraman

No abstract provided.

Verifying Properties Of Neural Networks, Pedro Rodriques, J. Félix Costa, Hava Siegelmann

Hava Siegelmann

In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation. She also established the equivalence between the ARNN and other analog systems that support hypercomputation, launching the foundations of an alternative computational theory. In this paper we contribute to this alternative theory by exploring the use of formal methods in the verification of temporal properties of ARNNs. Based on the work of Bradfield in verification of temporal properties of infinite systems, we simplify his tableau system, keeping its expressive power, and show that it is …

Oral History Interview With Dick Hedger, Philip L. Frana

Philip L Frana

Richard Hedger begins the interview describing his education in electrical engineering at the University of Minnesota. Following graduation he accepted a position at IBM Rochester in the optical character recognition group. He then discusses his shift to software development. Eventually he joined the Service and Support group developing application software supporting facilities infrastructures for the IBM System/3, and System/360. In various places in the interview, he describes some of the programming techniques in ...

Simulation Of Inviscid Multi-Species Plasma Flow, Alexandre Martin, Marcelo Reggio, Jean-Yves Trépanier

Alexandre Martin

A multi-species solver for plasma at thermodynamical equilibrium is developed. A numerical scheme, based on Roe's, is implemented with some modification regarding the average quantities. A perfect gas treatment is carried out for validations, and a quasi-real gas treatment is also presented. The latter takes into account the changes in the composition of the gas caused by fluctuations in temperature and density.

Symbolic Dynamics And Computation In Model Gene Networks, R. Edwards, Hava Siegelmann, K. Aziza, L. Glass

Hava Siegelmann

We analyze a class of ordinary differential equations representing a simplified model of a genetic network. In this network, the model genes control the production rates of other genes by a logical function. The dynamics in these equations are represented by a directed graph on an n-dimensional hypercube (n-cube) in which each edge is directed in a unique orientation. The vertices of the n-cube correspond to orthants of state space, and the edges correspond to boundaries between adjacent orthants. The dynamics in these equations can be represented symbolically. Starting from a point on the boundary between neighboring orthants, the equation …

Joachim Castella: Studien Zur Thematik "Kalkül Und Kreativität", Rudolf Kaehr

Rudolf Kaehr

Utopie der Zeichen – Zeichen der Utopie Vilém Flusser und Gotthard Günther als Komplement einer neuen Medienphilosophie Medientheorie als Theoriemedium Prolegomena einer allgemeinenMedientheorie Philosophie des LMR Joachim Castella 2000/2001

Metafam: A Unified Classification Of Protein Families. Ii. Schema And Query Capabilities, Elizabeth Shoop, K. Silverstein, Et Al

Elizabeth Shoop

No abstract provided.

Mental Rotation Of Objects Retrieved From Memory: An Fmri Study Of Spatial Processing, Marcel Just, Patricia Carpenter, Mandy Maguire, Vaibhav Diwadkar, Stephanie Mcmains

Marcel Adam Just

No abstract provided.

Metafam: A Unified Classification Of Protein Families I. Overview And Statistics, Elizabeth Shoop, K. Silverstein, Et Al

Elizabeth Shoop

No abstract provided.

The Metafam Server: A Comprehensive Protein Family Resource, Elizabeth Shoop, K. Silverstein, Et Al

Elizabeth Shoop

No abstract provided.

Interdependence Of Non-Overlapping Cortical Systems In Dual Cognitive Tasks, Marcel Adam Just, Patricia A. Carpenter, Timothy A. Keller, Lisa Emery, Holly Zajac, Keith R. Thulborn

Marcel Adam Just

No abstract provided.

Oral History Interview With Edsger W. Dijkstra, Philip L. Frana

Philip L Frana

In this oral history Edsger Dijkstra recounts his early education and training as a theoretical physicist and as a'programmer'. Dijkstra describes his work developing software, and his activities at several early information processing conferences. Dijkstra also discourses on the development of ALGOL 60 and the origins of computing science in Europe and America.

A Binary Entropy Measure To Assess Nonrigid Registration Algorithms, Simon K. Warfield, Jan Rexilius, Petra S. Huppi, Terrie E. Inder, Erik G. Learned-Miller, William M. Wells Iii, Gary P. Zientara, Ferenc A. Jolesz, Ron Kikinis

Erik G Learned-Miller

Assessment of normal and abnormal anatomical variability requires a coordinate system enabling inter-subject comparison. We present a binary minimum entropy criterion to assess affine and nonrigid transformations bringing a group of subject scans into alignment. This measure is a data-driven measure allowing the identification of an intrinsic coordinate system of a particular group of subjects. We assessed two statistical atlases derived from magnetic resonance imaging of newborn infants with gestational age ranging from 24 to 40 weeks. Over this age range major structural changes occur in the human brain and existing atlases are inadequate to capture the resulting anatomical variability. …

Color Eigenflows : Statistical Modeling Of Joint Color Changes, Erik G. Learned-Miller, Kinh Tieu

Erik G Learned-Miller

We develop a linear model of commonly observed joint color changes in images due to variation in lighting and certain non-geometric camera parameters. This is done by observing how all of the colors are mapped between two images of the same scene under various “real-world” lighting changes. We represent each instance of such a joint color mapping as a 3-D vector field in RGB color space. We show that the variance in these maps is well represented by a low dimensional linear subspace of these vector fields. We dub the principal components of this space the color eigenflows. When applied …

An Intrinsic Coordinate System Of The Developing Human Brain, Simon K. Warfield, Petra S. Huppi, Terrie E. Inder, Erik G. Learned-Miller, William M. Wells Iii, Gary P. Zientara, Ferenc A. Jolesz, Ron Kikinis

Erik G Learned-Miller

No abstract provided.

A Service Paradigm For Reconfigurable Agents, Gary Holness, Deepak Karuppiah, Subramanya Uppala, Roderic Grupen, S. Chandu Ravela

Roderic Grupen

Applications of multiple processors embedded in the systems involved with entertainment, informatics, climate control, communication, transportation, and food preparation are already commonplace. A network of these embedded processors presents application development challenges since the state space grows exponentially as new devices attach to the network. The programming model for such systems will need to change if reliable systems are to be realized. By observing information about sensorimotor activity, such systems can gather information useful to programming the network. Through such interaction, a network can build hierarchies of shareable computational structures for representing various activities. This application domain presents additional challenges …

Lighting Invariance Through Joint Color Change Models, Erik G. Learned-Miller, Kinh Tieu, Eric Grimson

Erik G Learned-Miller

In [9], we introduced a linear statistical model of joint color changes in images due to variation in lighting and certain non-geometric camera parameters. We did this by measuring the mappings of colors in one image of a scene to colors in another image of the same scene under different lighting conditions. In this paper, we extend our model in several ways and examine its applicability to several important problems in machine vision. The extensions to our model include incorporating a model of image noise and a prior on the color flows used to explain a particular image difference. In …

The Neural Bases Of Sentence Comprehension: A Fmri Examination Of Syntactic And Lexical Processing, Timothy A. Keller, Patricia A. Carpenter, Marcel Adam Just

Marcel Adam Just

No abstract provided.

An Fmri Investigation Of Sentence Comprehension By Eye And By Ear: Modality Fingerprints On Cognitive Processes, Erica B. Michael, Timothy A. Keller, Patricia A. Carpenter, Marcel Adam Just

Marcel Adam Just

No abstract provided.