Sciweavers

7335 search results - page 36 / 1467

» Scene Based Reasoning

78

GIS
2008
ACM

105views Automated Reasoning» more GIS 2008»

Cartographic generalisation of lines based on a B-spline snake model

14 years 9 months ago

Cartographic generalisation of lines based on a B-spline snake model

Download www.lsgi.polyu.edu.hk

Eric Guilbert, Eric Saux

claim paper

Read More »

54

CSL
2006
Springer

114views Automated Reasoning» more CSL 2006»

Adaptation of children's speech with limited data based on formant-like peak alignment

14 years 9 months ago

Adaptation of children's speech with limited data based on formant-like peak alignment

Download www.ee.ucla.edu

Xiaodong Cui, Abeer Alwan

claim paper

Read More »

69

GIS
1998
ACM

105views Automated Reasoning» more GIS 1998»

Constraint-Based Algorithms for Computing Clique Intersection Joins

14 years 9 months ago

Constraint-Based Algorithms for Computing Clique Intersection Joins

Download repository.ust.hk

Nikos Mamoulis, Dimitris Papadias

claim paper

Read More »

63

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

14 years 8 months ago

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

Download lat.inf.tu-dresden.de

Franz Baader, Marcel Lippmann, Hongkai Liu

claim paper

Read More »

69

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

14 years 7 months ago

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

« Prev « First page 36 / 1467 Last » Next »