2050 search results - page 247 / 410 » A formal foundation for process modeling |
165
click to vote
UAI
2008
15 years 8 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
290
Voted
CLIMA
2011
14 years 7 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
195
Voted
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
195
Voted
FGR
2008
IEEE
15 years 8 months ago
2008
IEEE
Data collected through a recent web-based survey show that the perception (i.e. labeling) of a human facial expression by a human observer is a subjective process, which results i...
200
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...