1280 search results - page 37 / 256 » Soft Typing with Conditional Types |
TARK
2007
Springer
14 years 3 months ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
SYNTHESE
2008
13 years 9 months ago
2008
The interest of epistemic comparative conditionals comes from the fact that they represent genuine `comparative epistemic relations' between propositions, situations, evidence...
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— We have developed a stereo vision based obstacle detection (OD) system that can be used to detect obstacles in off-road terrain during both day and night conditions. In order t...
ECIS
2003
13 years 10 months ago
2003
Groupware is often used in distributed organizations to support communication and coordination. Managers direct resources and set up goals for the deployment of groupware. It is h...