A situated approach to Markovian image segmentation is proposed based on a distributed, decentralized and cooperative strategy for model estimation. According to this approach, th...
Language is sensitive to both semantic and pragmatic effects. To capture both effects, we model language use as a cooperative game between two players: a speaker, who generates an...
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...