5630 search results - page 305 / 1126 » Computability in Specification |
264
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Most region based shape image retrieval techniques in literature are complex to implement. As the result of their complex computations, the retrieval performance of these techniqu...
155
click to vote
JUCS
2006
15 years 6 months ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...
176
click to vote
JFP
2008
15 years 6 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
183
click to vote
ACL
2012
13 years 9 months ago
2012
Social Event Radar is a new social networking-based service platform, that aim to alert as well as monitor any merchandise flaws, food-safety related issues, unexpected eruption o...
196
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents a system deployed on parallel clusters to manage a collection of parallel simulations that make up a computational study. It explores how such a system can ext...