Sciweavers

500 search results - page 1 / 100
» Context models on sequences of covers
Sort
View

Publication
252views
13 years 8 months ago
Context models on sequences of covers
We present a class of models that, via a simple construction, enables exact, incremental, non-parametric, polynomial-time, Bayesian inference of conditional measures. The approac...
Christos Dimitrakakis
CPAIOR
2009
Springer
14 years 16 hour ago
The Polytope of Context-Free Grammar Constraints
Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...
Gilles Pesant, Claude-Guy Quimper, Louis-Martin Ro...
EUSAI
2004
Springer
13 years 10 months ago
Modelling Context: An Activity Theory Approach
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
Manasawee Kaenampornpan, Eamonn O'Neill
ECEASST
2010
13 years 2 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
13 years 8 months ago
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
Marouane Kessentini, Arbi Bouchoucha, Houari A. Sa...