Sciweavers

4099 search results - page 647 / 820
» A Framework for Interactive Proof
Sort
View
SIS
2007
15 years 5 months ago
An Ontology for the Expression of Intellectual Property Entities and Relations
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
Víctor Rodríguez-Doncel, Marc Gauvin...
AAAI
2006
15 years 5 months ago
Belief Change in the Context of Fallible Actions and Observations
We consider the iterated belief change that occurs following an alternating sequence of actions and observations. At each instant, an agent has some beliefs about the action that ...
Aaron Hunter, James P. Delgrande
AAAI
2006
15 years 5 months ago
A Unified Cognitive Architecture for Physical Agents
In this paper we describe Icarus, a cognitive architecture for physical agents that integrates ideas from a number of traditions, but that has been especially influenced by result...
Pat Langley, Dongkyu Choi
CADUI
2004
15 years 5 months ago
A Lightweight Experiment Management System for Handheld Computers
: This paper describes a system that helps HCI practitioners and researchers manage and conduct experiments involving context-sensitive handheld applications, particularly related ...
Philip D. Gray, Joy Goodman, James Macleod
CLA
2004
15 years 5 months ago
Emulating a Cooperative Behavior in a Generic Association Rule Visualization Tool
Traditional framework for mining association rules has pointed out the derivation of many redundant rules. In order to be reliable in a decision making process, such discovered rul...
I. Nsir, Sadok Ben Yahia, Engelbert Mephu Nguifo