Search Sciweavers | Sciweavers

2162 search results - page 14 / 433

» Automated Reasoning on Feature Models

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

15 years 4 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

click to vote

CSL
1992
Springer

99views Automated Reasoning» more CSL 1992»

Model Building by Resolution

15 years 3 months ago

Download www.logic.at

ating Point Numbers (Abstract). In: Berichte aus Informatik

Christian G. Fermüller, Alexander Leitsch

claim paper

Read More »

click to vote

LOPSTR
2000
Springer

103views Automated Reasoning» more LOPSTR 2000»

A model for inter-module analysis and optimizing compilation

15 years 3 months ago

Download clip.dia.fi.upm.es

Francisco Bueno, Maria J. García de la Band...

claim paper

Read More »

click to vote

CL
2008
Springer

102views Automated Reasoning» more CL 2008»

Application-specific models and pointcuts using a logic metalanguage

14 years 11 months ago

Download www.hpi.uni-potsdam.de

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens...

claim paper

Read More »

click to vote

CSL
2006
Springer

77views Automated Reasoning» more CSL 2006»

Unlimited vocabulary speech recognition with morph language models applied to Finnish

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers