3342 search results - page 232 / 669 » Automating Abstract Interpretation |
141
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
124
Voted
ECSQARU
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we study a new probability associated with any given belief function b, i.e. the orthogonal projection π[b] of b onto the probability simplex P. We provide an interp...
133
click to vote
MIAR
2006
IEEE
15 years 9 months ago
2006
IEEE
Statistical shape modeling is widely used for medical image segmentation and interpretation. The main problem in building a shape model is the construction of a pointwise correspon...
137
Voted
MIAR
2006
IEEE
15 years 9 months ago
2006
IEEE
Intraoperative assistance systems aim to improve the quality of the surgery and enhance the surgeon’s capabilities. Preferable would be a system which provides support depending ...
141
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...