Sciweavers

813 search results - page 132 / 163
» On the interaction between sharing and linearity
Sort
View
ICLP
2005
Springer
15 years 4 months ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl
MM
2004
ACM
248views Multimedia» more  MM 2004»
15 years 4 months ago
Incremental semi-supervised subspace learning for image retrieval
Subspace learning techniques are widespread in pattern recognition research. They include Principal Component Analysis (PCA), Locality Preserving Projection (LPP), etc. These tech...
Xiaofei He
ICCV
2003
IEEE
15 years 4 months ago
Modeling Textured Motion : Particle, Wave and Sketch
In this paper, we present a generative model for textured motion phenomena, such as falling snow, wavy river and dancing grass, etc. Firstly, we represent an image as a linear sup...
Yizhou Wang, Song Chun Zhu
PLDI
2009
ACM
15 years 4 months ago
Progress guarantee for parallel programs via bounded lock-freedom
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaa...
ICIAP
2001
Springer
15 years 3 months ago
A Neurodynamical Retinal Network Based on Reaction-Diffusion Systems
A dynamical model for retinal processing is presented. The model describes the output of retinal ganglion cells whose receptive field is composed of a center and a surround combi...
Matthias S. Keil, Gabriel Cristóbal, Heiko ...