1280 search results - page 35 / 256 » Soft Typing with Conditional Types |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
- There is a strong need to improve the tools clinicians use for training in procedures such as prostate brachytherapy where the success rate is directly related to the clinicianâ€...
ICTAI
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper reports our investigation on the problem of belief update in Bayesian networks (BN) using uncertain evidence. We focus on two types of uncertain evidences, virtual evid...
ESOP
2007
Springer
14 years 27 days ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In Multiple-Input Multiple-Output (MIMO) wireless systems, since different signals are transmitted by different antennas simultaneously, interference occurs between the...