Sciweavers

233 search results - page 38 / 47
» Intelligent compilers
Sort
View
AAAI
2000
14 years 11 months ago
The TheaterLoc Virtual Application
Although much has been written about various information integration technologies, little has been said regarding how to combine these technologies together to build an entire &qu...
Greg Barish, Craig A. Knoblock, Yi-Shin Chen, Stev...
AAAI
2000
14 years 11 months ago
STA: Spatio-Temporal Aggregation with Applications to Analysis of Diffusion-Reaction Phenomena
Spatio-temporal data sets arise when time-varying physical fields are discretized for simulation or analysis. Examples of time-varying fields are isothermal regions in the sea or ...
Iván Ordóñez, Feng Zhao
CEC
2010
IEEE
14 years 10 months ago
SBArt4 - Breeding abstract animations in realtime
Breeding Abstract Animations in Realtime Tatsuo Unemi SBART was developed in early 1990's as one of the derivatives from Artificial Evolution by Karl Sims. It has a functional...
Tatsuo Unemi
ECAI
2010
Springer
14 years 10 months ago
Sound and Complete Landmarks for And/Or Graphs
Landmarks for a planning problem are subgoals that are necessarily made true at some point in the execution of any plan. Since verifying that a fact is a landmark is PSPACE-complet...
Emil Keyder, Silvia Richter, Malte Helmert
KI
2006
Springer
14 years 9 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach