1220 search results - page 150 / 244 » Dependent classes |
99
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Multi-agent interactions often result in mutual occlusion sequences which constitute a visual signature for the event. We define six qualitative occlusion primitives based on the ...
94
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—The richness of wavelet transformation is known in many fields. There exist different classes of wavelet filters that can be used depending on the application. In this paper, ...
110
Voted
AIME
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
113
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
84
Voted
JFP
2010
14 years 11 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...