Search Sciweavers | Sciweavers

3759 search results - page 173 / 752

» Natural language processing of lyrics

click to vote

FM
2009
Springer

94views Formal Methods» more FM 2009»

Formal Methods for Privacy

14 years 4 months ago

Download www.dtic.mil

Michael Carl Tschantz, Jeannette M. Wing

claim paper

Read More »

click to vote

FM
2009
Springer

105views Formal Methods» more FM 2009»

Three-Valued Spotlight Abstractions

14 years 4 months ago

Download www.cs.uni-paderborn.de

Jonas Schrieb, Heike Wehrheim, Daniel Wonisch

claim paper

Read More »

click to vote

FM
2009
Springer

104views Formal Methods» more FM 2009»

Sums and Lovers: Case Studies in Security, Compositionality and Refinement

14 years 4 months ago

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

click to vote

IFL
2007
Springer

110views Formal Methods» more IFL 2007»

XHaskell - Adding Regular Expression Types to Haskell

14 years 3 months ago

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

click to vote

MODELS
2007
Springer

105views Natural Language Processing» more MODELS 2007»

Model-Driven Construction of Certified Binaries

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers