Lance Obermeyer
University of Texas at Austin
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Lance Obermeyer.
international conference on tools with artificial intelligence | 1994
James C. Browne; A. Emerson; M.G. Gouda; Daniel P. Miranker; Aloysius K. Mok; R. Bayerdo; S. Chodrow; D. Gadbois; F. Haddix; T.W. Hetherington; Lance Obermeyer; Duu-Chung Tsou; Chih-Kan Wang; Rwo-Hsi Wang
We describe a purely declarative method for introducing modularity into forward-chaining, rule-based languages and its embodiment in the Venus rule language. The method is enforced by the syntax of the language and includes the ability to parameterize the rule groups. Drawing from two of three Venus applications developed to date, we illustrate how this form of modularity contributes directly to the resolution of certain software engineering problems associated with rule languages.<<ETX>>
international conference on tools with artificial intelligence | 1995
Lance Obermeyer; Daniel P. Miranker; David A. Brant
Presents performance results for a production system environment, CLIPS++, that demonstrate the advantage of selectively building and applying simple index structures. We contrast this to the extensive body of work on matching, which, over the years, has evolved increasingly complex compositions of index structures which are then uniformly applied to all the data types and rules in a production system program. Over a set of benchmark programs, the fastest executions are always attained by carefully selecting a good mixture of indexes rather than universal use of a single index.
International Journal on Artificial Intelligence Tools | 1995
James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Lance Obermeyer; F. Furman Haddix; Rwo-Hsi Wang; Sarah E. Chodrow
In this paper we describe a purely declarative method for introducing modularity into forward-chaining, rule-based languages. The method is enforced by the syntax of the language and includes the ability to parameterize the rule groups. We also describe the Venus programming environment, which implements the presented ideas. Drawing from two of three Venus applications developed to date, we illustrate how this form of modularity contributes directly to the resolution of certain software engineering problems associated with rule languages. We also discuss key implementation details and present performance data.
conference on information and knowledge management | 1997
Lance Obermeyer; Daniel P. Miranker
This paper presents an algorithm for implementing r ule filtering in active and trigger enabled databases. The algorithm generates one or more decision trees that determine what rules or triggers might be enabled b y an individual database element, reducing the number of rules or triggers that must be evaluated. The algo rithm operates by symbolically representing the space of database elements and subdividing the space based o n rule predicates. Regions of the state space repres nt particular combinations of enabled rules. Decision trees are then generated based on the subdivided state sp c . The trees have the important property that no indiv idual test is repeated. The ordered binary decision diag ram (BDD) data structure is used to represent and manipulate the state space.
conference on information and knowledge management | 1996
Lance Obermeyer; L Warshaw; Daniel P. Miranker
This paper reports on our experience porting the ALEXSYS program to the Venus active database environment. Our experience shows that a deep understanding of program behavior but only moderate code changes may be required to revise an existing application to operate in an active environment. Furth er, a technique where common cases are handled by the new active database application and anomalous cases are handled by the existing expert database application may be an appropriate first step. 2. Background
Archive | 2000
Daniel P. Miranker; Lance Obermeyer; Paul A. Navratil
annual computer security applications conference | 1999
L Warshaw; Lance Obermeyer; Daniel P. Miranker; Sara Matzner
Archive | 1998
Daniel P. Miranker; Lance Obermeyer; L Warshaw; James C. Browne
CODAS | 1996
Daniel P. Miranker; Lance Obermeyer
Archive | 1994
Lance Obermeyer; Daniel P. Miranker