391 search results - page 40 / 79 » Compositionality for Probabilistic Automata |
120
Voted
COORDINATION
2007
Springer
15 years 8 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
125
click to vote
FSMNLP
2005
Springer
15 years 8 months ago
2005
Springer
TAGH is a system for automatic recognition of German word forms. It is based on a stem lexicon with allomorphs and a concatenative mechanism for inflection and word formation. Wei...
111
Voted
NIPS
2001
15 years 4 months ago
2001
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
128
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
120
Voted
ENTCS
2006
15 years 2 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...