3670 search results - page 279 / 734 » Linear Recursive Functions |
208
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
171
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
157
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
147
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
We focus on the parallel access of randomly aligned rectangular blocks of visual data. As an alternative of traditional linearly addressable memories, we suggest a memory organizat...
139
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
Combining search results from multimedia sources is crucial for dealing with heterogeneous multimedia data, particularly in multimedia retrieval where a final ranked list of item...