Sciweavers

9455 search results - page 429 / 1891
» The Modelling Language Zinc
Sort
View
TCBB
2010
89views more  TCBB 2010»
15 years 6 months ago
Model Composition for Macromolecular Regulatory Networks
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
Ranjit Randhawa, Clifford A. Shaffer, John J. Tyso...
ICCPOL
2009
Springer
16 years 2 months ago
Probabilistic Methods for a Japanese Syllable Cipher
This paper attacks a Japanese syllable-substitution cipher. We use a probabilistic, noisy-channel framework, exploiting various Japanese language models to drive the decipherment. ...
Sujith Ravi, Kevin Knight
FDL
2005
IEEE
16 years 1 months ago
Architecture description in related standards
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
David Servat, Frédéric Loiret, S&eac...
SFM
2004
Springer
16 years 29 days ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
EACL
2003
ACL Anthology
15 years 9 months ago
Information Structure in Topological Dependency Grammar
Topological Dependency Grammar (TDG) is a lexicalized dependency grammar formalism, able to model languages with a relatively free word order. In such languages, word order variat...
Geert-Jan M. Kruijff, Denys Duchier