Search Sciweavers | Sciweavers

3914 search results - page 14 / 783

» Automating SLA modeling

117

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

Voted

DLOG
2003

107views Automated Reasoning» more DLOG 2003»

Modeling Software

15 years 4 months ago

Download geocalc.clas.asu.edu

John Mylopoulos

claim paper

Read More »

Voted

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 4 months ago

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

111

click to vote

CSL
2008
Springer

123views Automated Reasoning» more CSL 2008»

Explicit modelling of session variability for speaker verification

15 years 3 months ago

Download eprints.qut.edu.au

Robbie Vogt, Sridha Sridharan

claim paper

Read More »

119

click to vote

GIS
2008
ACM

105views Automated Reasoning» more GIS 2008»

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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers