Sciweavers

3759 search results - page 156 / 752
» Natural language processing of lyrics
Sort
View
111
Voted
FDL
2003
IEEE
15 years 8 months ago
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
Alexander Krupp, Wolfgang Müller 0003
EXTREME
2003
ACM
15 years 8 months ago
tolog for TMQL
Lars Marius Garshol
EXTREME
2003
ACM
15 years 8 months ago
Playing by the rules
C. M. Sperberg-McQueen