1313 search results - page 134 / 263 » Generic Universe Types |
112
Voted
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we investigate to which extent the "raw" mapping of Taylor series coefficients into jet-space can be used as a "language" for describing local i...
150
Voted
MICCAI
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. In medical imaging, finding landmarks that provide biologically meaningful correspondences is often a challenging and time-consuming manual task. In this paper we propose...
131
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
142
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
129
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...