14809 search results - page 2751 / 2962 » Model transformation by demonstration |
203
click to vote
AAAI
2012
13 years 9 months ago
2012
Distance rationalizability is an intuitive paradigm for developing and studying voting rules: given a notion of consensus and a distance function on preference profiles, a ration...
216
Voted
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
187
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...
210
Voted
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
172
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Studies support the need for high resolution imagery to identify persons in surveillance videos[13]. However, the use of telephoto lenses sacrifices a wider field of view and ther...