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

15 years 4 months ago

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

Martin Schwarick, Monika Heiner

claim paper

Read More »

107

Voted

KORSO
1995

128views Software Engineering» more KORSO 1995»

CSL

15 years 29 days 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

15 years 1 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

CSL
2010
Springer

194views Automated Reasoning» more CSL 2010»

Complexity Results for Modal Dependence Logic

14 years 10 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

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers