Search Sciweavers | Sciweavers

3342 search results - page 39 / 669

» Automating Abstract Interpretation

109

click to vote

MVA
2002

175views Computer Vision» more MVA 2002»

Augmented geophysical data interpretation through automated velocity picking in semblance velocity images

15 years 2 months ago

Download www.cs.colostate.edu

Velocity Picking is the problem of picking velocity-time pairs based on a coherence metric between multiple seismic signals. Coherence as a function of velocity and time can be ex...

J. Ross Beveridge, Charlie Ross, L. Darrell Whitle...

claim paper

Read More »

Voted

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 7 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

click to vote

GIS
1999
ACM

103views Automated Reasoning» more GIS 1999»

Cartographic Generalization as a Combination of Representing and Abstracting Knowledge

15 years 6 months ago

Download www-poleia.lip6.fr

Sébastien Mustière, Jean-Daniel Zuck...

claim paper

Read More »

click to vote

GIS
1992
ACM

103views Automated Reasoning» more GIS 1992»

A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction

15 years 6 months ago

Download www.spatial.maine.edu

Sabine Timpf, Gary S. Volta, David W. Pollock, Max...

claim paper

Read More »

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers