1788 search results - page 282 / 358 » Model Theory for Process Algebra |
165
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
There is significant interest in modeling teamwork in agents. In recent years, it has become widely accepted that it is possible to separate teamwork from taskwork, providing sup...
167
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
197
click to vote
HIS
2003
15 years 7 months ago
2003
– Probabilistic Inference Networks are becoming increasingly popular for modeling and reasoning in uncertain domains. In the past few years, many efforts have been made in learni...
138
click to vote
NIPS
2003
15 years 7 months ago
2003
A major issue in evaluating speech enhancement and hearing compensation algorithms is to come up with a suitable metric that predicts intelligibility as judged by a human listener...
156
click to vote
PARELEC
2006
IEEE
16 years 6 days ago
2006
IEEE
Usually, theories of surface growth are based on the study of global processes without taking in account the local behaviour of atoms. We have implemented two Montecarlo simulation...