2646 search results - page 91 / 530 » Local Type Inference |
111
click to vote
GG
2004
Springer
15 years 7 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
117
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
113
click to vote
EMMCVPR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
174
Voted
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
Producing an accurate motion flow field is very difficult at motion boundaries. We present a novel, noniterative approach for segmentation from image motion, based on two voting p...
107
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
An ideal shape model should be both invariant to global transformations and robust to local distortions. In this paper we present a new shape modeling framework that achieves both...