Search Sciweavers | Sciweavers

21342 search results - page 456 / 4269

» Structured language modeling

120

click to vote

ECOOP
2003
Springer

107views Programming Languages» more ECOOP 2003»

Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment

16 years 2 days ago

Download www.idi.ntnu.no

Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif,...

claim paper

Read More »

142

Voted

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 11 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

131

Voted

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

15 years 11 months ago

Download www.eecs.umich.edu

Egon Börger, Francisco Javier López-Fr...

claim paper

Read More »

130

Voted

IWOMP
2010
Springer

119views Programming Languages» more IWOMP 2010»

Towards an Error Model for OpenMP

15 years 11 months ago

Download www.ccs.tsukuba.ac.jp

Michael Wong, Michael Klemm, Alejandro Duran, Tim ...

claim paper

Read More »

139

Voted

EMNLP
2011

168views Natural Language Processing» more EMNLP 2011»

Optimizing Semantic Coherence in Topic Models

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers