Sciweavers

842 search results - page 142 / 169
» Search Control Techniques for Planning
Sort
View
TVCG
2008
87views more  TVCG 2008»
13 years 8 months ago
The Seismic Analyzer: Interpreting and Illustrating 2D Seismic Data
We present a toolbox for quickly interpreting and illustrating 2D slices of seismic volumetric reflection data. Searching for oil and gas involves creating a structural overview of...
Daniel Patel, Christopher Giertsen, John Thurmond,...
JAR
2000
97views more  JAR 2000»
13 years 8 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
SISAP
2009
IEEE
122views Data Mining» more  SISAP 2009»
14 years 3 months ago
Dynamic Spatial Approximation Trees for Massive Data
—Metric space searching is an emerging technique to address the problem of efficient similarity searching in many applications, including multimedia databases and other reposito...
Gonzalo Navarro, Nora Reyes
RTSS
2005
IEEE
14 years 2 months ago
Optimal Task Rate Selection in Fixed Priority Systems
The design phase of any real-time system requires balancing the limited computational resources against the functional requirements and the performance of the application. The opt...
Enrico Bini, Marco Di Natale
ECAL
2001
Springer
14 years 1 months ago
The Shifting Network: Volume Signalling in Real and Robot Nervous Systems
This paper presents recent work in computational modelling of diffusing gaseous neuromodulators in biological nervous systems. It goes on to describe work in adaptive autonomous sy...
Phil Husbands, Andrew Philippides, Tom Smith, Mich...