Eric Neufeld | University of Saskatchewan (original) (raw)

Papers by Eric Neufeld

Research paper thumbnail of Mixed Initiative Interactive Edge Detection

Graphics Interface, 2003

Interactive edge detection is used in both graphics art tools and in tools for building anatomica... more Interactive edge detection is used in both graphics art tools and in tools for building anatomical models from serially sectioned images. To build models, contours are traced and later triangulated. Contour tracing is time-consuming because of the quantity and fidelity of points needed, and expensive because of the back- ground training required of individuals who do the trac- ing. Here

Research paper thumbnail of Probabilsitic semantics and defaults

Uncertainty in Artificial Intelligence, 1988

Research paper thumbnail of Sorting On A GPU

The current generation of GPUs support parallel operations within a stream processing architectur... more The current generation of GPUs support parallel operations within a stream processing architecture, using an instruction set tailored to, and optimized for, rendering problems. The computing model is rich enough to solve interesting graphics and computing problems not directly related to rendering, with significant performance improvements. Here, we investigate sorting, perhaps the most basic computing problem and the key to

Research paper thumbnail of Towards Solving the Multiple Extension Problem: Combining Defaults and Probability

Uncertainty in Artificial Intelligence, 1987

Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is prop... more Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is proposed that can predict the probability of an event when the probabilities of certain other connected events are known. This scheme involves the use of a maximum entropy method proposed by Cheeseman. The model uses vectors that represent certain possible states of the world. Only consistent vectors are entered into the probability scheme. As a result, entailment does not always yield an acceptable result and cannot be applied to real situations that could arise.

Research paper thumbnail of Probabilistic regions of persistence

Lecture Notes in Computer Science, 1991

Perhaps the most difficult, and certainly the most intensely studied problem in temporal reasonin... more Perhaps the most difficult, and certainly the most intensely studied problem in temporal reasoning is the persistence of information-that is, what reasonable inferences can we draw about non-change given partial knowledge of the world and of the changes taking place. Almost all previous work hinges on McCarthy's common sense law of inertia (CSLI): things tend not to change. The obvious

Research paper thumbnail of Visual Metaphors fro Understanding Logic Program Execution

Graphics Interface, 1997

A classic notion in logic programming is the separationof logic and control. Logic is for problem... more A classic notion in logic programming is the separationof logic and control. Logic is for problemsolving; control is for directing inference. However,practical experience in the classroom suggests thatproblem-solving students nonetheless devote mucheffort to understanding control issues such as eliminatinglooping behaviours and improving programefficiency.In the case of Prolog, this requires a clear understandingof the operation of both unification andbacktracking. Students often

Research paper thumbnail of Using Attention in Belief Revision

National Conference on Artificial Intelligence, 1991

ABSTRACT Belief revision for an intelligent system is usually computationally expensive. Here we ... more ABSTRACT Belief revision for an intelligent system is usually computationally expensive. Here we tackle this problem by using focus in belief revision: that is, revision occurs only in a subset of beliefs under attention (or in focus). Attention can be shifted within the belief base, thus allowing use and revision of other subsets of beliefs. This attention-shifting belief revision architecture shows promise to allow efficient and natural revision of belief bases.

Research paper thumbnail of A Contribution to the Theory and Practice of Cognitive Prostheses

Lecture Notes in Computer Science, 2003

Ford and Hayes suggest that rather than build independent AI technologies, we frame AI as a human... more Ford and Hayes suggest that rather than build independent AI technologies, we frame AI as a human/machine partnership, where AI "amplifies, rather than replaces human intellectual ability". We used their perspective to build a smart mixed initiative edge detection tool and believe this approach will be particularly useful in building intelligent graphical tools.

Research paper thumbnail of A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data

Lecture Notes in Computer Science, 2000

Association rules discovered through attribute-oriented induction are commonly used in data minin... more Association rules discovered through attribute-oriented induction are commonly used in data mining tools to express relationships between variables. However, causal inference algorithms discover more concise relationships between variables, namely, relations of direct cause. These algorithms produce regressive structured equation models for continuous linear data and Bayes networks for discrete data. This work compares the effectiveness of causal inference algorithms with association rule induction for discovering patterns in discrete data.

Research paper thumbnail of Emotional requirements in video games

Proceedings of the IEEE International Conference on Requirements Engineering, 2006

Requirements engineering for video games must address a wide range of functional and non-function... more Requirements engineering for video games must address a wide range of functional and non-functional requirements. Video game designers are most concerned with capturing and representing the player experience: the means by which the player's consciousness is cognitively engaged while simultaneously inducing emotional responses. We show that emotional requirements can be expressed in two parts: as the emotional intent of the

Research paper thumbnail of Requirements in conflict: Player vs. Designer vs. Cheater

2008 3rd International Workshop on Multimedia and Enjoyable Requirements Engineering, MERE'08, 2008

... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Sas... more ... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Saskatchewan ... Attacks upon, or requiring access to, the physical devices used in gameplay. ... In-stead, a negotiation process is needed that eliminates the requirement to resolve all ...

Research paper thumbnail of Balancing security requirements and emotional requirements in video games

Proceedings of the 16th IEEE International Requirements Engineering Conference, RE'08, 2008

... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Sas... more ... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Saskatchewan ... via a source code patch, or the publication of means for access-ing alternative ... Instead, a negotiation process is needed that eliminates the requirement to iden-tify and ...

Research paper thumbnail of Visualizing emotional requirements

2009 4th International Workshop on Requirements Engineering Visualization, REV 2009, 2009

Emotional requirements capture the game designer'... more Emotional requirements capture the game designer's vision for the player's emotional experience and are used to facilitate communication between pre-production and production teams. However, production-phase deficiencies in emotional requirements have been identified. In this work, we extend the definition of emotional requirements to include emotion prototypes and emotion markers and present improved techniques for eliciting, capturing and visualizing emotional requirements.

Research paper thumbnail of Augmenting emotional requirements with emotion markers and emotion prototypes

Proceedings of the IEEE International Conference on Requirements Engineering, 2009

A production-phase weakness in emotional requirements was identified and resolved during a follow... more A production-phase weakness in emotional requirements was identified and resolved during a follow-up study. The definition of emotional requirements was extended to include emotion prototypes and emotion markers. Improved practices for identifying media assets for emotional requirements were developed, enhancing their utility to the production process.

Research paper thumbnail of CTSA Consortium-Child Health and Oversight Committee (CC-CHOC) Face-to-Face Meeting May 1, 2009 Meeting Summary CC-CHOC Face-to-Face Meeting

Research paper thumbnail of Special Track on Uncertain Reasoning of the 19th International Florida Artificial Intelligence Research Symposium (FLAIRS 2006)

International Journal of Approximate Reasoning - IJAR, 2009

ABSTRACT Various semantics have been used for conditionals in the area of knowledge representatio... more ABSTRACT Various semantics have been used for conditionals in the area of knowledge representation and reasoning. In this paper, we study similarities and differences between a purely qualitative semantics based on the popular system-of-spheres semantics of Lewis, ...

Research paper thumbnail of Revising deductive knowledge and stereotypical knowledge in a student model

User Modeling and User-adapted Interaction, 1991

A user/student model must be revised when new information about the user/student is obtained. But... more A user/student model must be revised when new information about the user/student is obtained. But a sophisticated user/student model is a complex structure that contains different types of knowledge. Different techniques may be needed for revising different types of knowledge. This paper presents a student model maintenance system (SMMS) which deals with revision of two important types of knowledge in student models: deductive knowledge and stereotypical knowledge. In the SMMS, deductive knowledge is represented by justified beliefs. Its revision is accomplished by a combination of techniques involving reason maintenance and formal diagnosis. Stereotypical knowledge is represented in the Default Package Network (DPN). The DPN is a knowledge partitioning hierarchy in which each node contains concepts in a sub-domain. Revision of stereotypical knowledge is realized by propagating new information through the DPN to change default packages (stereotypes) of the nodes in the DPN. A revision of deductive knowledge may trigger a revision of stereotypical knowledge, which results in a desirable student model in which the two types of knowledge exist harmoniously.

Research paper thumbnail of Towards solving the multiple extension problem: Combining defaults and probabilities

International Journal of Approximate Reasoning - IJAR, 1988

Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is prop... more Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is proposed that can predict the probability of an event when the probabilities of certain other connected events are known. This scheme involves the use of a maximum entropy method proposed by Cheeseman. The model uses vectors that represent certain possible states of the world. Only consistent vectors are entered into the probability scheme. As a result, entailment does not always yield an acceptable result and cannot be applied to real situations that could arise.

Research paper thumbnail of HYBRID PROBABILISTIC SYSTEMS

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000

Research paper thumbnail of Emotional Requirements

Research paper thumbnail of Mixed Initiative Interactive Edge Detection

Graphics Interface, 2003

Interactive edge detection is used in both graphics art tools and in tools for building anatomica... more Interactive edge detection is used in both graphics art tools and in tools for building anatomical models from serially sectioned images. To build models, contours are traced and later triangulated. Contour tracing is time-consuming because of the quantity and fidelity of points needed, and expensive because of the back- ground training required of individuals who do the trac- ing. Here

Research paper thumbnail of Probabilsitic semantics and defaults

Uncertainty in Artificial Intelligence, 1988

Research paper thumbnail of Sorting On A GPU

The current generation of GPUs support parallel operations within a stream processing architectur... more The current generation of GPUs support parallel operations within a stream processing architecture, using an instruction set tailored to, and optimized for, rendering problems. The computing model is rich enough to solve interesting graphics and computing problems not directly related to rendering, with significant performance improvements. Here, we investigate sorting, perhaps the most basic computing problem and the key to

Research paper thumbnail of Towards Solving the Multiple Extension Problem: Combining Defaults and Probability

Uncertainty in Artificial Intelligence, 1987

Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is prop... more Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is proposed that can predict the probability of an event when the probabilities of certain other connected events are known. This scheme involves the use of a maximum entropy method proposed by Cheeseman. The model uses vectors that represent certain possible states of the world. Only consistent vectors are entered into the probability scheme. As a result, entailment does not always yield an acceptable result and cannot be applied to real situations that could arise.

Research paper thumbnail of Probabilistic regions of persistence

Lecture Notes in Computer Science, 1991

Perhaps the most difficult, and certainly the most intensely studied problem in temporal reasonin... more Perhaps the most difficult, and certainly the most intensely studied problem in temporal reasoning is the persistence of information-that is, what reasonable inferences can we draw about non-change given partial knowledge of the world and of the changes taking place. Almost all previous work hinges on McCarthy's common sense law of inertia (CSLI): things tend not to change. The obvious

Research paper thumbnail of Visual Metaphors fro Understanding Logic Program Execution

Graphics Interface, 1997

A classic notion in logic programming is the separationof logic and control. Logic is for problem... more A classic notion in logic programming is the separationof logic and control. Logic is for problemsolving; control is for directing inference. However,practical experience in the classroom suggests thatproblem-solving students nonetheless devote mucheffort to understanding control issues such as eliminatinglooping behaviours and improving programefficiency.In the case of Prolog, this requires a clear understandingof the operation of both unification andbacktracking. Students often

Research paper thumbnail of Using Attention in Belief Revision

National Conference on Artificial Intelligence, 1991

ABSTRACT Belief revision for an intelligent system is usually computationally expensive. Here we ... more ABSTRACT Belief revision for an intelligent system is usually computationally expensive. Here we tackle this problem by using focus in belief revision: that is, revision occurs only in a subset of beliefs under attention (or in focus). Attention can be shifted within the belief base, thus allowing use and revision of other subsets of beliefs. This attention-shifting belief revision architecture shows promise to allow efficient and natural revision of belief bases.

Research paper thumbnail of A Contribution to the Theory and Practice of Cognitive Prostheses

Lecture Notes in Computer Science, 2003

Ford and Hayes suggest that rather than build independent AI technologies, we frame AI as a human... more Ford and Hayes suggest that rather than build independent AI technologies, we frame AI as a human/machine partnership, where AI "amplifies, rather than replaces human intellectual ability". We used their perspective to build a smart mixed initiative edge detection tool and believe this approach will be particularly useful in building intelligent graphical tools.

Research paper thumbnail of A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data

Lecture Notes in Computer Science, 2000

Association rules discovered through attribute-oriented induction are commonly used in data minin... more Association rules discovered through attribute-oriented induction are commonly used in data mining tools to express relationships between variables. However, causal inference algorithms discover more concise relationships between variables, namely, relations of direct cause. These algorithms produce regressive structured equation models for continuous linear data and Bayes networks for discrete data. This work compares the effectiveness of causal inference algorithms with association rule induction for discovering patterns in discrete data.

Research paper thumbnail of Emotional requirements in video games

Proceedings of the IEEE International Conference on Requirements Engineering, 2006

Requirements engineering for video games must address a wide range of functional and non-function... more Requirements engineering for video games must address a wide range of functional and non-functional requirements. Video game designers are most concerned with capturing and representing the player experience: the means by which the player's consciousness is cognitively engaged while simultaneously inducing emotional responses. We show that emotional requirements can be expressed in two parts: as the emotional intent of the

Research paper thumbnail of Requirements in conflict: Player vs. Designer vs. Cheater

2008 3rd International Workshop on Multimedia and Enjoyable Requirements Engineering, MERE'08, 2008

... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Sas... more ... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Saskatchewan ... Attacks upon, or requiring access to, the physical devices used in gameplay. ... In-stead, a negotiation process is needed that eliminates the requirement to resolve all ...

Research paper thumbnail of Balancing security requirements and emotional requirements in video games

Proceedings of the 16th IEEE International Requirements Engineering Conference, RE'08, 2008

... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Sas... more ... David Callele, Eric Neufeld, Kevin Schneider Department of Computer Science University of Saskatchewan ... via a source code patch, or the publication of means for access-ing alternative ... Instead, a negotiation process is needed that eliminates the requirement to iden-tify and ...

Research paper thumbnail of Visualizing emotional requirements

2009 4th International Workshop on Requirements Engineering Visualization, REV 2009, 2009

Emotional requirements capture the game designer'... more Emotional requirements capture the game designer's vision for the player's emotional experience and are used to facilitate communication between pre-production and production teams. However, production-phase deficiencies in emotional requirements have been identified. In this work, we extend the definition of emotional requirements to include emotion prototypes and emotion markers and present improved techniques for eliciting, capturing and visualizing emotional requirements.

Research paper thumbnail of Augmenting emotional requirements with emotion markers and emotion prototypes

Proceedings of the IEEE International Conference on Requirements Engineering, 2009

A production-phase weakness in emotional requirements was identified and resolved during a follow... more A production-phase weakness in emotional requirements was identified and resolved during a follow-up study. The definition of emotional requirements was extended to include emotion prototypes and emotion markers. Improved practices for identifying media assets for emotional requirements were developed, enhancing their utility to the production process.

Research paper thumbnail of CTSA Consortium-Child Health and Oversight Committee (CC-CHOC) Face-to-Face Meeting May 1, 2009 Meeting Summary CC-CHOC Face-to-Face Meeting

Research paper thumbnail of Special Track on Uncertain Reasoning of the 19th International Florida Artificial Intelligence Research Symposium (FLAIRS 2006)

International Journal of Approximate Reasoning - IJAR, 2009

ABSTRACT Various semantics have been used for conditionals in the area of knowledge representatio... more ABSTRACT Various semantics have been used for conditionals in the area of knowledge representation and reasoning. In this paper, we study similarities and differences between a purely qualitative semantics based on the popular system-of-spheres semantics of Lewis, ...

Research paper thumbnail of Revising deductive knowledge and stereotypical knowledge in a student model

User Modeling and User-adapted Interaction, 1991

A user/student model must be revised when new information about the user/student is obtained. But... more A user/student model must be revised when new information about the user/student is obtained. But a sophisticated user/student model is a complex structure that contains different types of knowledge. Different techniques may be needed for revising different types of knowledge. This paper presents a student model maintenance system (SMMS) which deals with revision of two important types of knowledge in student models: deductive knowledge and stereotypical knowledge. In the SMMS, deductive knowledge is represented by justified beliefs. Its revision is accomplished by a combination of techniques involving reason maintenance and formal diagnosis. Stereotypical knowledge is represented in the Default Package Network (DPN). The DPN is a knowledge partitioning hierarchy in which each node contains concepts in a sub-domain. Revision of stereotypical knowledge is realized by propagating new information through the DPN to change default packages (stereotypes) of the nodes in the DPN. A revision of deductive knowledge may trigger a revision of stereotypical knowledge, which results in a desirable student model in which the two types of knowledge exist harmoniously.

Research paper thumbnail of Towards solving the multiple extension problem: Combining defaults and probabilities

International Journal of Approximate Reasoning - IJAR, 1988

Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is prop... more Probabilistic logic has been discussed in a recent paper by Nilsson. An entailment scheme is proposed that can predict the probability of an event when the probabilities of certain other connected events are known. This scheme involves the use of a maximum entropy method proposed by Cheeseman. The model uses vectors that represent certain possible states of the world. Only consistent vectors are entered into the probability scheme. As a result, entailment does not always yield an acceptable result and cannot be applied to real situations that could arise.

Research paper thumbnail of HYBRID PROBABILISTIC SYSTEMS

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000

Research paper thumbnail of Emotional Requirements