Sciweavers

9507 search results - page 190 / 1902

» Time-based language models

115

ECOOP
2003
Springer

107views Programming Languages» more ECOOP 2003»

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

15 years 11 months ago

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

Download www.idi.ntnu.no

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

claim paper

Read More »

134

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 10 months ago

Symbolic Model Checking for Probabilistic Processes

Download www.cs.cmu.edu

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

claim paper

Read More »

127

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

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

15 years 10 months ago

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

Download www.eecs.umich.edu

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

claim paper

Read More »

124

IWOMP
2010
Springer

119views Programming Languages» more IWOMP 2010»

Towards an Error Model for OpenMP

15 years 10 months ago

Towards an Error Model for OpenMP

Download www.ccs.tsukuba.ac.jp

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

claim paper

Read More »

152

COLING
2008

124views Computational Linguistics» more COLING 2008»

Contents Modelling of Neo-Sumerian Ur III Economic Text Corpus

15 years 8 months ago

Contents Modelling of Neo-Sumerian Ur III Economic Text Corpus

Download www.aclweb.org

This paper describes a system for processing economic documents written in the ancient Sumerian language. The system is application-oriented and takes advantage of the simplicity ...

Wojciech Jaworski

claim paper

Read More »

« Prev « First page 190 / 1902 Last » Next »