Search Sciweavers | Sciweavers

421 search results - page 19 / 85

» CSL

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

14 years 3 months ago

Download www-dssz.informatik.tu-cottbus.de

Martin Schwarick, Monika Heiner

claim paper

Read More »

click to vote

KORSO
1995

128views Software Engineering» more KORSO 1995»

CSL

14 years 6 hour ago

Download www.library.ca.gov

Klaus Nökel, Klaus Winkelmann

claim paper

Read More »

click to vote

CSL
1992
Springer

99views Automated Reasoning» more CSL 1992»

Model Building by Resolution

14 years 16 days 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

CSL
2010
Springer

194views Automated Reasoning» more CSL 2010»

Complexity Results for Modal Dependence Logic

13 years 9 months ago

Download drops.dagstuhl.de

Modal dependence logic was introduced very recently by V

Peter Lohmann, Heribert Vollmer

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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers