Sciweavers

4190 search results - page 110 / 838
» Type Class Directives
Sort
View
108
Voted
ICML
2009
IEEE
16 years 3 months ago
Detecting the direction of causal time series
We propose a method that detects the true direction of time series, by fitting an autoregressive moving average model to the data. Whenever the noise is independent of the previou...
Arthur Gretton, Bernhard Schölkopf, Dominik J...
115
Voted
ICFP
1999
ACM
15 years 7 months ago
Flexible Type Analysis
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
Karl Crary, Stephanie Weirich
102
Voted
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 2 months ago
Pure Type Systems without Explicit Contexts
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
Herman Geuvers, Robbert Krebbers, James McKinna, F...
EMMCVPR
2001
Springer
15 years 7 months ago
Grouping with Directed Relationships
Abstract. Grouping is a global partitioning process that integrates local cues distributed over the entire image. We identify four types of pairwise relationships, attraction and r...
Stella X. Yu, Jianbo Shi
124
Voted
SIAMJO
2010
74views more  SIAMJO 2010»
14 years 9 months ago
Various Lipschitz-like Properties for Functions and Sets I: Directional Derivative and Tangential Characterizations
In this work we introduce for extended real valued functions, defined on a Banach space X, the concept of K directionally Lipschitzian behavior, where K is a bounded subset of X. F...
Rafael Correa, Pedro Gajardo, Lionel Thibault