Sciweavers

1471 search results - page 97 / 295
» Church: a language for generative models
Sort
View
UML
2005
Springer
15 years 11 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Martin Giese, Daniel Larsson
KBSE
2008
IEEE
16 years 20 days ago
Unifying Analysis Tools with Rosetta
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
Nicolas Frisby
NLDB
2007
Springer
16 years 12 days ago
Four Methods for Supervised Word Sense Disambiguation
Word sense disambiguation is the task to identify the intended meaning of an ambiguous word in a certain context, one of the central problems in natural language processing. This p...
Kinga Schumacher
VL
2000
IEEE
118views Visual Languages» more  VL 2000»
15 years 10 months ago
Towards Generic Rule-Based Visual Programming
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
Berthold Hoffmann, Mark Minas
SCP
2000
119views more  SCP 2000»
15 years 6 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen