2880 search results - page 49 / 576 » Types are calling conventions |
148
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
We propose a closed form solution for segmenting mixtures of 2-D translational and 2-D affine motion models directly from the image intensities. Our approach exploits the fact that...
140
click to vote
ER
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...
160
Voted
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Thus, coalitional games, including Coalition Structure Generation (CSG), have been ...
147
click to vote
CSL
2005
Springer
15 years 10 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...
146
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...