Sciweavers

1750 search results - page 20 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
79
Voted
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 1 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
FUIN
2002
128views more  FUIN 2002»
14 years 9 months ago
PathLog: a Query Language for Schemaless Databases of Partially Labeled Objects
Abstract. In the paper we deal with the problem of modeling and querying information in schemaless databases of partially labeled objects (PLO-DB). Partially labeled objects are us...
Tadeusz Pankowski
UML
2005
Springer
15 years 3 months ago
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
Michelle L. Crane, Jürgen Dingel
AGTIVE
1999
Springer
15 years 1 months ago
An L-System-Based Plant Modeling Language
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
Przemyslaw Prusinkiewicz, Jim Hanan, Radomí...
FASE
2004
Springer
15 years 1 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...