Sciweavers

7335 search results - page 36 / 1467

» Scene Based Reasoning

97

GIS
2008
ACM

105views Automated Reasoning» more GIS 2008»

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

15 years 25 days 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 »

64

Voted

CSL
2006
Springer

114views Automated Reasoning» more CSL 2006»

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

15 years 24 days 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 »

85

Voted

GIS
1998
ACM

105views Automated Reasoning» more GIS 1998»

Constraint-Based Algorithms for Computing Clique Intersection Joins

15 years 14 days ago

Constraint-Based Algorithms for Computing Clique Intersection Joins

Download repository.ust.hk

Nikos Mamoulis, Dimitris Papadias

claim paper

Read More »

75

Voted

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 11 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 »

86

Voted

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 10 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 »