Sciweavers

4981 search results - page 843 / 997
» Dependent Gaussian Processes
Sort
View
JUCS
2008
118views more  JUCS 2008»
15 years 7 months ago
Model-Based and Prototyping-Driven User Interface Specification to Support Collaboration and Creativity
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
Thomas Memmel, Harald Reiterer
235
Voted
JEI
2006
162views more  JEI 2006»
15 years 7 months ago
Markovian segmentation and parameter estimation on graphics hardware
In this paper, we show how Markovian strategies used to solve well-known segmentation problems such as motion estimation, motion detection, motion segmentation, stereovision, and c...
Pierre-Marc Jodoin, Max Mignotte
177
Voted
LISP
2008
97views more  LISP 2008»
15 years 7 months ago
Efficient and flexible access control via Jones-optimal logic program specialisation
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
Steve Barker, Michael Leuschel, Mauricio Varea
139
Voted
MSS
2008
IEEE
67views Hardware» more  MSS 2008»
15 years 7 months ago
Mass-mobilization with noisy conditional beliefs
We examine the role played by information in shaping popular expectations in the process of political mobilization, and the development of revolutionary movements in particular. T...
M. Koster, R. Lindelauf, I. Lindner, G. Owen
294
Voted
LISP
2006
160views more  LISP 2006»
15 years 7 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin