5525 search results - page 258 / 1105 » Verification of Model Transformations |
140
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...
136
click to vote
NIPS
2003
15 years 6 months ago
2003
We generalise the Gaussian process (GP) framework for regression by learning a nonlinear transformation of the GP outputs. This allows for non-Gaussian processes and non-Gaussian ...
129
click to vote
ASSETS
2005
ACM
15 years 7 months ago
2005
ACM
The possibility of pre-compensating images in a computer display according to the visual aberrations previously assessed in an optical system (e.g., the computer user’s eye) has...
145
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
155
click to vote
EJC
2008
15 years 6 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...