Search Sciweavers | Sciweavers

3759 search results - page 151 / 752

» Natural language processing of lyrics

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

A Tableau for CTL

14 years 4 months ago

Download www.csse.uwa.edu.au

Mark Reynolds

claim paper

Read More »

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

14 years 4 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »

click to vote

IFL
2007
Springer

133views Formal Methods» more IFL 2007»

Debugging Lazy Functional Programs by Asking the Oracle

14 years 3 months ago

Download www.informatik.uni-kiel.de

Bernd Braßel, Holger Siegel

claim paper

Read More »

click to vote

MODELS
2007
Springer

108views Natural Language Processing» more MODELS 2007»

Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications

14 years 3 months ago

Download www.medien.ifi.lmu.de

Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann

claim paper

Read More »

click to vote

MODELS
2007
Springer

104views Natural Language Processing» more MODELS 2007»

Constructive Techniques for Meta- and Model-Level Reasoning

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers