Sciweavers

1054 search results - page 181 / 211
» Model Transformations in the Model-Based Development of Real...
Sort
View
CC
2006
Springer
124views System Software» more  CC 2006»
14 years 16 days ago
Polyhedral Code Generation in the Real World
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
Nicolas Vasilache, Cédric Bastoul, Albert C...
MSS
2000
IEEE
182views Hardware» more  MSS 2000»
14 years 1 months ago
A Blueprint for Representation Information in the OAIS Model
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
David Holdsworth, Derek M. Sergeant
ICDAR
2007
IEEE
14 years 3 months ago
Energy-Based Models in Document Recognition and Computer Vision
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...
Yann LeCun, Sumit Chopra, Marc'Aurelio Ranzato, Fu...
ICTAC
2004
Springer
14 years 2 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
DPHOTO
2010
195views Hardware» more  DPHOTO 2010»
13 years 10 months ago
Direct PSF estimation using a random noise target
Conventional point spread function (PSF) measurement methods often use parametric models for the estimation of the PSF. This limits the shape of the PSF to a specific form provide...
Johannes Brauers, Claude Seiler, Til Aach