Search Sciweavers | Sciweavers

1750 search results - page 3 / 350

» Formal multiple-bernoulli models for language modeling

click to vote

JUCS
2000

119views more JUCS 2000»

Use of E-LOTOS in Adding Formality to UML

13 years 7 months ago

Download ctp.di.fct.unl.pt

: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...

Robert G. Clark, Ana M. D. Moreira

claim paper

Read More »

click to vote

ICFCA
2005
Springer

90views Formal Methods» more ICFCA 2005»

A Finite State Model for On-Line Analytical Processing in Triadic Contexts

14 years 27 days ago

Download www.kde.cs.uni-kassel.de

Gerd Stumme

claim paper

Read More »

click to vote

MODELS
2010
Springer

187views Natural Language Processing» more MODELS 2010»

Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program

13 years 5 months ago

Download is.tm.tue.nl

Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...

Pieter Van Gorp, Rik Eshuis

claim paper

Read More »

click to vote

MODELS
2009
Springer

102views Natural Language Processing» more MODELS 2009»

Formal Support for QVT-Relations with Coloured Petri Nets

14 years 1 months ago

Download www.cs.colostate.edu

Juan de Lara, Esther Guerra

claim paper

Read More »