2060 search results - page 13 / 412 » The Composition of Event-B Models |
CSFW
2012
IEEE
12 years 1 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
WSC
2008
14 years 1 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
ICCV
2011
IEEE
12 years 11 months ago
2011
IEEE
We propose a mid-level statistical model for image segmentation that composes multiple figure-ground hypotheses (FG) obtained by applying constraints at different locations and s...
ACL
2010
13 years 9 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
COLING
2010
13 years 5 months ago
2010
In distributional semantics studies, there is a growing attention in compositionally determining the distributional meaning of word sequences. Yet, compositional distributional mo...