2777 search results - page 444 / 556 » Example centric programming |
UAI
2008
15 years 3 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
124
click to vote
DLOG
2006
15 years 3 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
163
click to vote
GRAPHICSINTERFACE
2004
15 years 3 months ago
2004
We propose a novel approach for a dense texture-based visualization of vector fields on curved surfaces. Our texture advection mechanism relies on a Lagrangian particle tracing th...
111
click to vote
IADIS
2004
15 years 3 months ago
2004
The top-down implementation of information and communication technology does not guarantee necessary organizational change in e-learning and virtual enterprises. The delivery of o...
123
click to vote
ICETE
2004
15 years 3 months ago
2004
: The music industry is an interesting example for how business models from the pre-Internet area can get into trouble in the new Internet-based economy. Since 2000, the music indu...