Sciweavers

1487 search results - page 17 / 298
» Two Kinds of Metonymy
Sort
View
ICCV
2011
IEEE
12 years 7 months ago
Image Based Detection of Geometric Changes in Urban Environments
In this paper, we propose an efficient technique to detect changes in the geometry of an urban environment using some images observing its current state. The proposed method can ...
Aparna Taneja, Luca Ballan, Marc Pollefeys
FOSSACS
2012
Springer
12 years 3 months ago
Concurrent Games with Ordered Objectives
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
Patricia Bouyer, Romain Brenguier, Nicolas Markey,...
CONTEXT
2007
Springer
14 years 1 months ago
Risk Context Effects in Inductive Reasoning: An Experimental and Computational Modeling Study
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
Kayo Sakamoto, Masanori Nakagawa
JMLR
2010
124views more  JMLR 2010»
13 years 2 months ago
Consistent Nonparametric Tests of Independence
Three simple and explicit procedures for testing the independence of two multi-dimensional random variables are described. Two of the associated test statistics (L1, log-likelihoo...
Arthur Gretton, László Györfi
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
13 years 12 months ago
A Generic Programming Extension for Clean
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
Artem Alimarine, Marinus J. Plasmeijer