6274 search results - page 303 / 1255 » Proofs, Programs, Processes |
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...
175
click to vote
PADL
2005
Springer
16 years 3 days ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
193
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper we describe an approach that uses a combination of visual and audio features to cluster shots belonging to the same person together in video programs. We use color h...
167
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
180
click to vote
PVM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...