Sciweavers

4099 search results - page 644 / 820
» A Framework for Interactive Proof
Sort
View
CSE
2009
IEEE
15 years 7 months ago
Where Information Searches for You: The Visible Past Ubiquitous Knowledge Environment for Digital Humanities
— Visible Past proposes a new class of interdisciplinary learning, documenting, knowledge production, and discovery experiences that are anchored in space and time indicators. Th...
Sorin Adam Matei, Eric A. Wernert, Travis Faas
AAAI
2008
15 years 6 months ago
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
Dan Tappan
AIIDE
2008
15 years 6 months ago
Combining Model-Based Meta-Reasoning and Reinforcement Learning for Adapting Game-Playing Agents
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...
Patrick Ulam, Joshua Jones, Ashok K. Goel
FLAIRS
2008
15 years 6 months ago
Win, Lose, or Get Out the Way - Eliminating Unnecessary Evaluation in Game Search
In this paper we present our approach of improving the traditional alpha-beta search process for strategic board games by modifying the method in two ways: 1) forgoing the evaluat...
Hsiu-Chin Lin, Colleen van Lent
LISA
2008
15 years 6 months ago
Authentication on Untrusted Remote Hosts with Public-Key Sudo
Two common tools in Linux- and UNIX-based environments are SSH for secure communications and sudo for performing administrative tasks. These are independent programs with substant...
Matthew Burnside, Mack Lu, Angelos D. Keromytis